Cover Image
Read Now

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
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2005, 2005
Edition:1st ed. 2005
Series:Theoretical Computer Science and General Issues
Subjects:
Computer Communication Networks
Operating Systems
Software Engineering
Programming Techniques
Computer Programming
Operating Systems (computers)
Artificial Intelligence
Computer Networks 
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02548nmm a2200373 u 4500
001 EB000375017
003 EBX01000000000000000228069
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9783540317944 
100 1 |a Priami, Corrado  |e [editor] 
245 0 0 |a Global Computing  |h Elektronische Ressource  |b IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers  |c edited by Corrado Priami, Paola Quaglia 
250 |a 1st ed. 2005 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2005, 2005 
300 |a VIII, 376 p  |b online resource 
505 0 |a 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 
653 |a Computer Communication Networks 
653 |a Operating Systems 
653 |a Software engineering 
653 |a Programming Techniques 
653 |a Computer programming 
653 |a Operating systems (Computers) 
653 |a Artificial Intelligence 
653 |a Software Engineering 
653 |a Computer networks  
653 |a Artificial intelligence 
700 1 |a Quaglia, Paola  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Theoretical Computer Science and General Issues 
028 5 0 |a 10.1007/b103251 
856 4 0 |u https://doi.org/10.1007/b103251?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.1 

Similar Items