Global Computing IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2005, 2005
|
| Edition: | 1st ed. 2005 |
| Series: | Theoretical Computer Science and General Issues
|
| Subjects: | |
| 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