This book constitutes the thoroughly refereed post-proceedings of the IST/FET International Workshop on Global Computing, GC 2004, held in Rovereto, Italy in March 2004.
The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous submissions. Among the topics covered are programming environments, dynamic reconfiguration, resource guarantees, peer-to-peer networks, analysis of systems and resources, resource sharing, and security, as well as foundational calculi for mobility.
Author(s): Paolo Baldan, Andrea Bracciali, Roberto Bruni (auth.), Corrado Priami, Paola Quaglia (eds.)
Series: Lecture Notes in Computer Science 3267 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 376
Tags: Software Engineering; Computer Communication Networks; Programming Techniques; Operating Systems; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs
Front Matter....Pages -
Symbolic Equivalences for Open Systems....Pages 1-17
Specifying and Verifying UML Activity Diagrams Via Graph Transformation....Pages 18-33
Mobile UML Statecharts with Localities....Pages 34-58
Communities: Concept-Based Querying for Mobile Services....Pages 59-76
Towards a Formal Treatment of Secrecy Against Computational Adversaries....Pages 77-92
For-LySa: UML for Authentication Analysis....Pages 93-106
Performance Analysis of a UML Micro-business Case Study....Pages 107-126
Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks....Pages 127-145
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi....Pages 146-178
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi....Pages 179-207
A Generic Membrane Model (Note)....Pages 208-222
A Framework for Structured Peer-to-Peer Overlay Networks....Pages 223-249
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case....Pages 250-265
A Physics-Style Approach to Scalability of Distributed systems....Pages 266-272
BGP-Based Clustering for Scalable and Reliable Gossip Broadcast....Pages 273-290
Trust Lifecycle Management in a Global Computing Environment....Pages 291-313
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies....Pages 314-339
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation....Pages 340-367
Back Matter....Pages -
