Global Computing: Ist/fet International Workshop, Gc 2004, Rovereto, Italy, March 9-12, 2004 : Revised Selected Papers Ist/fet International Workshop Gc 2004

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. 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 - The widespread diffusion of web applications and mobile devices has shifted the attention to open systems, i.e., systems where mobile software components can be dynamically connected to interact with each other. Corrado Priami, Paola Quaglia (eds.). Includes Bibliographical References And Index. Also Issued Online.