Global Computing : Programming Environments, Languages, Security, and Analysis of Systems: IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003: Revised Papers

by Priami, Corrado; Gc 200 (2003 Rovereto, Italy)

• ISBN13: 9783540205838
• ISBN10: 3540205837
• Format: Paperback
• Copyright: 2004-09-15
• Publisher: Springer Verlag

Summary

This book constitutes the revised refereed summary of the results presented during the European IST/FET proactive initiative's Global Computing workshop, GC 2003, held in Rovereto, Italy, in February 2003. The eight revised full papers and survey articles presented together with a detailed introductory overview assess the state of the art in global computing. Global computing attempts to develop models, frameworks, methods, and algorithms to build systems that are flexible, dependable, secure, robust, and efficient. The dominant technical issues are coordination, interaction, security, safety, scalability, robustness, mobility, risk management, performance analysis, etc.

Table of Contents

UML for Global Computing	1	(24)
Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, and Martin Wirsing
Reflecting Mobile Ambients into the n-Calculus	25	(32)
Linda Brodo, Pierpaolo Degano, and Corrado Priami
Extensible Objects: A Tutorial	57	(31)
Viviana Bono
The Klaim Project: Theory and Practice	88	(63)
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gianluigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, and Betti Venneri
Ambient Calculi with Types: A Tutorial	151	(41)
Elio Giovannetti
Facets of Security	192	(11)
Dieter Gollmann
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism	203	(26)
Alessandro Aldini and Roberto Gorrieri
Performance Evaluation for Global Computation	229	(26)
Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, and Corrado Priami
Author Index	255