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

Bibliographic Details
Other Authors: Priami, Corrado (Editor), Quaglia, Paola (Editor)
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2005, 2005
Edition:1st ed. 2005
Series:Theoretical Computer Science and General Issues
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 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
  • The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies
  • The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation