Corrado Priami / Paola Quaglia (eds.)

Global Computing

IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
Herausgegeben:Priami, Corrado; Quaglia, Paola

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Theoretical Computer Science and General Issues 3267
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 11353478, 978-3-540-24101-0
• 2005
• Seitenzahl: 384
• Erscheinungstermin: 22. Februar 2005
• Englisch
• Abmessung: 235mm x 155mm x 21mm
• Gewicht: 540g
• ISBN-13: 9783540241010
• ISBN-10: 3540241019
• Artikelnr.: 23391681

Autorenporträt

Corrado Priami, University of Trento, Italy / Paola Quaglia, University of Trento, Italy

Inhaltsangabe

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.