Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers / [electronic resource] :
edited by Corrado Priami, Paola Quaglia.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
- VIII, 376 p. online resource.
- Lecture Notes in Computer Science, 3267 0302-9743 ; .
- Lecture Notes in Computer Science, 3267 .
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.
9783540317944
10.1007/b103251 doi
Computer science.
Computer Communication Networks.
Software engineering.
Operating systems (Computers).
Logic design.
Artificial intelligence.
Computer Science.
Software Engineering.
Computer Communication Networks.
Programming Techniques.
Operating Systems.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
QA76.758
005.1
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.
9783540317944
10.1007/b103251 doi
Computer science.
Computer Communication Networks.
Software engineering.
Operating systems (Computers).
Logic design.
Artificial intelligence.
Computer Science.
Software Engineering.
Computer Communication Networks.
Programming Techniques.
Operating Systems.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
QA76.758
005.1