Global Computing全局计算/会议录

书籍目录

Symbolic Equivalences for Open SystemsSpecifying and Verifying UML Activity Diagrams Via Graph TransformationMobile UML Statecharts with LocalitiesCommunities: Concept-BasedQuerying for Mobile ServicesTowards a Formal Treatment of Secrecy Against Computational AdversariesFor-LySa: UML for Authentication AnalysisPerformance Analysis of a UML Micro-business Case StudyEfficient Information Propagation Algorithms in Smart Dust and NanoPeer NetworksThe Kell Calculus: A Family of Higher-Order Distributed Process CalculiA Software Framework for Rapid Prototyping of Run-Time Systems for Mobile CalculiA Generic Membrane Model (Note)A Framework for Structured Peer-to-Peer Overlay Networks Verifying a Structured Peer-to-Peer Overlay Network: The Static CaseA Physics-Style Approach to Scalability of Distributed SystemsBGP-Based Clustering for Scalable and Reliable Gossip Broadcast Trust Lifecycle Management in a Global Computing Environment andThe SOCS Computational LogicVerification of Agent SocietiesApproach to the SpecificationThe KGP Model of Agency for Global Computing: ComputationalModel and Prototype ImplementationAuthor Index

作者简介

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.

 Global Computing全局计算/会议录下载