Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers

Front Cover
Springer Science & Business Media, Feb 22, 2005 - Computers - 367 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Symbolic Equivalences for Open Systems
1
Specifying and Verifying UML Activity Diagrams Via Graph Transformation
18
Mobile UML Statecharts with Localities
34
ConceptBased Querying for Mobile Services
59
Towards a Formal Treatment of Secrecy Against Computational Adversaries
77
UML for Authentication Analysis
93
Performance Analysis of a UML Microbusiness Case Study
107
Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks
127
A Generic Membrane Model Note
208
A Framework for Structured PeertoPeer Overlay Networks
223
The Static Case
250
A PhysicsStyle Approach to Scalability of Distributed Systems
266
BGPBased Clustering for Scalable and Reliable Gossip Broadcast
273
Trust Lifecycle Management in a Global Computing Environment
291
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies
314
Computational Model and Prototype Implementation
340

A Family of HigherOrder Distributed Process Calculi
146
A Software Framework for Rapid Prototyping of RunTime Systems for Mobile Calculi
179

Other editions - View all

Common terms and phrases

Bibliographic information