Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005
DBLP:	db/conf/gc/gc2004.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 18  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni. The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies.	Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005	(0)	2004
	Conference paper Luc Onana Alima, Ali Ghodsi, Seif Haridi. A Framework for Structured Peer-to-Peer Overlay Networks.	Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005	(0)	2004
	Conference paper Erik Aurell, Sameh El-Ansary. A Physics-Style Approach to Scalability of Distributed systems.	Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005	(0)	2004
	Conference paper Paolo Baldan, Andrea Bracciali, Roberto Bruni. Symbolic Equivalences for Open Systems.	Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005	(0)	2004
	Conference paper Paolo Baldan, Andrea Corradini, Fabio Gadducci. Specifying and Verifying UML Activity Diagrams Via Graph Transformation.	Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005	(0)	2004
	Conference paper Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos. A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi.	Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005	(0)	2004
	Conference paper Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov. Verifying a Structured Peer-to-Peer Overlay Network: The Static Case.	Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005	(0)	2004
	Conference paper Gérard Boudol. A Generic Membrane Model (Note).	Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005	(0)	2004
	Conference paper Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni. The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.	Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005	(0)	2004
	Conference paper M. Brahami, Patrick Th. Eugster, Rachid Guerraoui, Sidath B. Handurukande. BGP-Based Clustering for Scalable and Reliable Gossip Broadcast.	Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005	(0)	2004

Show item 1 to 10 of 18  

Your query returned 18 matches in the database.