Global Computing

Keyphrases

Publications

volume 3267, 2005

Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers Global Computing 3267 (2005)

2004

Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing
Mobile UML Statecharts with Localities. Global Computing (2004)
Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. Global Computing (2004)
Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini
For-LySa: UML for Authentication Analysis. Global Computing (2004)
Paolo Baldan, Andrea Corradini, Fabio Gadducci
Specifying and Verifying UML Activity Diagrams Via Graph Transformation. Global Computing (2004)
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 (2004)
Chara Skouteli, Christoforos Panayiotou, George Samaras, Evaggelia Pitoura
Communities: Concept-Based Querying for Mobile Services. Global Computing (2004)
Angelo Troina, Alessandro Aldini, Roberto Gorrieri
Towards a Formal Treatment of Secrecy Against Computational Adversaries. Global Computing (2004)
Sotirios Terzis, Waleed Wagealla, Colin English, Paddy Nixon
Trust Lifecycle Management in a Global Computing Environment. Global Computing (2004)
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 (2004)
Erik Aurell, Sameh El-Ansary
A Physics-Style Approach to Scalability of Distributed systems. Global Computing (2004)
Alan Schmitt, Jean-Bernard Stefani
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. Global Computing (2004)
M. Brahami, Patrick Th. Eugster, Rachid Guerraoui, Sidath B. Handurukande
BGP-Based Clustering for Scalable and Reliable Gossip Broadcast. Global Computing (2004)
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 (2004)
Sotiris E. Nikoletseas, Paul G. Spirakis
Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks. Global Computing (2004)
Luc Onana Alima, Ali Ghodsi, Seif Haridi
A Framework for Structured Peer-to-Peer Overlay Networks. Global Computing (2004)
Paolo Baldan, Andrea Bracciali, Roberto Bruni
Symbolic Equivalences for Open Systems. Global Computing (2004)
Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia
Performance Analysis of a UML Micro-business Case Study. Global Computing (2004)
Gérard Boudol
A Generic Membrane Model (Note). Global Computing (2004)

2003

volume 2874, 2003

Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers Global Computing 2874 (2003)