05117nam 22007575 450 991048349870332120251226200236.010.1007/b103251(CKB)1000000000212632(SSID)ssj0000317960(PQKBManifestationID)11212472(PQKBTitleCode)TC0000317960(PQKBWorkID)10308262(PQKB)11553255(DE-He213)978-3-540-31794-4(MiAaPQ)EBC3067876(PPN)123090466(BIP)11352160(EXLCZ)99100000000021263220100715d2005 u| 0engurnn|008mamaatxtccrGlobal Computing IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers /edited by Corrado Priami, Paola Quaglia1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (VIII, 376 p.) Theoretical Computer Science and General Issues,2512-2029 ;3267Bibliographic Level Mode of Issuance: MonographPrinted edition: 9783540241010 Includes bibliographical references and index.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.This volume collects revised versions of some of the papers presented at the S- ond IST/FET International Workshop on Global Computing held in Rovereto, Italy (9-12 March, 2004). The workshop involved all the thirteen projects funded under the IST/FET proactive initiative on GLOBAL COMPUTING: AGILE; CRESCCO; DART; DBGLOBE;DEGAS;FLAGS;MIKADO;MRG;MYTHS;PEPITO;PROFUN- DIS; SECURE; SOCS. The ?rst aim of the GLOBAL COMPUTING initiative is the development of paradigms for building ?exible, dependable, secure, robust and e'cient systems. Primaryresearchconcernsaretheco-ordination,interaction,security,reliability, robustness, and risk control of the entities in the global system. The ultimate goaloftheresearchactionistoprovideasolidscienti'cfoundationforthedesign of such systems, and to lay the groundwork for achieving e'ective principles for building and analysing them. Theworkshopcoveredtopicsrelatedtoprogrammingenvironments,dynamic recon'guration, resource guarantees, peer-to-peer networks, analysis of systems and resources, resource sharing, and security, as well as foundational calculi for mobility. The present collection o'ers a rich sample of research results on the above subjects. We acknowledge the Dipartimento di Informatica e Telecomunicazioni of the University of Trento for partially funding the workshop, and the Events and Meetings O'ce of the University of Trento for the valuable collaboration.Theoretical Computer Science and General Issues,2512-2029 ;3267Software engineeringComputer networksComputer programmingOperating systems (Computers)Artificial intelligenceSoftware EngineeringComputer Communication NetworksProgramming TechniquesOperating SystemsArtificial IntelligenceSoftware engineering.Computer networks.Computer programming.Operating systems (Computers)Artificial intelligence.Software Engineering.Computer Communication Networks.Programming Techniques.Operating Systems.Artificial Intelligence.005Priami Corrado1236801Quaglia Paola922789MiAaPQMiAaPQMiAaPQBOOK9910483498703321Global computing4198447UNINA