Global Computing全局计算/会议录

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.

Symbolic Equivalences for Open Systems
Specifying and Verifying UML Activity Diagrams Via Graph Transformation
Mobile UML Statecharts with Localities
Communities: Concept-Based
Querying for Mobile Services
Towards a Formal Treatment of Secrecy Against Computational Adversaries
For-LySa: UML for Authentication Analysis
Performance Analysis of a UML Micro-business Case Study
Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
A Generic Membrane Model (Note)
A Framework for Structured Peer-to-Peer Overlay Networks Verifying a Structured Peer-to-Peer Overlay Network: The Static Case
A Physics-Style Approach to Scalability of Distributed Systems
BGP-Based Clustering for Scalable and Reliable Gossip Broadcast Trust Lifecycle Management in a Global Computing Environment and
The SOCS Computational Logic
Verification of Agent Societies
Approach to the Specification
The KGP Model of Agency for Global Computing: ComputationalModel and Prototype Implementation
Author Index