default search action
Global Computing 2004: Rovereto, Italy
- Corrado Priami, Paola Quaglia:
Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3267, Springer 2005, ISBN 3-540-24101-9 - Paolo Baldan, Andrea Bracciali, Roberto Bruni:
Symbolic Equivalences for Open Systems. 1-17 - Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Specifying and Verifying UML Activity Diagrams Via Graph Transformation. 18-33 - Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing:
Mobile UML Statecharts with Localities. 34-58 - Chara Skouteli, Christoforos Panayiotou, George Samaras, Evaggelia Pitoura:
Communities: Concept-Based Querying for Mobile Services. 59-76 - Angelo Troina, Alessandro Aldini, Roberto Gorrieri:
Towards a Formal Treatment of Secrecy Against Computational Adversaries. 77-92 - Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini:
For-LySa: UML for Authentication Analysis. 93-106 - Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia:
Performance Analysis of a UML Micro-business Case Study. 107-126 - Sotiris E. Nikoletseas, Paul G. Spirakis:
Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks. 127-145 - Alan Schmitt, Jean-Bernard Stefani:
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. 146-178 - 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. 179-207 - Gérard Boudol:
A Generic Membrane Model (Note). 208-222 - Luc Onana Alima, Ali Ghodsi, Seif Haridi:
A Framework for Structured Peer-to-Peer Overlay Networks. 223-249 - Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov:
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. 250-265 - Erik Aurell, Sameh El-Ansary:
A Physics-Style Approach to Scalability of Distributed systems. 266-272 - M. Brahami, Patrick Th. Eugster, Rachid Guerraoui, Sidath B. Handurukande:
BGP-Based Clustering for Scalable and Reliable Gossip Broadcast. 273-290 - Sotirios Terzis, Waleed Wagealla, Colin English, Paddy Nixon:
Trust Lifecycle Management in a Global Computing Environment. 291-313 - 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. 314-339 - 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. 340-367
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.