Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
Σειρά: | Lecture Notes in Computer Science,
3267 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.