Format:
Online-Ressource (VIII, 369 p. Also available online, digital)
ISBN:
9783540317944
Series Statement:
Lecture Notes in Computer Science 3267
Content:
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.
Note:
Includes bibliographical references and index
Additional Edition:
ISBN 9783540241010
Additional Edition:
Buchausg. u.d.T. Global computing Berlin : Springer, 2005 ISBN 3540241019
Language:
English
Subjects:
Computer Science
Keywords:
Grid Computing
;
Grid Computing
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
