Global Computing. Programming Environments, Languages, Security, and Analysis of Systems

IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003. Revised Papers

  • Corrado Priami
Conference proceedings GC 2003

DOI: 10.1007/b94264

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2874)

Table of contents (8 papers)

  1. Front Matter
  2. UML for Global Computing
    Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing
    Pages 1-24
  3. Reflecting Mobile Ambients into the π-Calculus
    Linda Brodo, Pierpaolo Degano, Corrado Priami
    Pages 25-56
  4. Extensible Objects: A Tutorial
    Viviana Bono
    Pages 57-87
  5. The Klaim Project: Theory and Practice
    Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gianluigi Ferrari, Daniele Gorla, Michele Loreti et al.
    Pages 88-150
  6. Ambient Calculi with Types: A Tutorial
    Elio Giovannetti
    Pages 151-191
  7. Facets of Security
    Dieter Gollmann
    Pages 192-202
  8. Performance Evaluation for Global Computation
    Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami
    Pages 229-253
  9. Back Matter

About these proceedings

Introduction

The goal of the IST/FET proactive initiative on Global Computing is to - tain models, frameworks, methods, algorithms to build systems that are ?exible, dependable, secure, robust and e?cient. The dominant concerns are those of handling the co-ordination and interaction, security, reliability, robustness, fa- uremodes,andcontrolofriskoftheentitiesinthesystemandtheoveralldesign, descriptionandperformanceofthesystemitself.Completelydi?erentparadigms of computer science may have to be developed to tackle these issues e?ectively. The research should concentrate on systems having the following characteristics: – The systems are composed of autonomous computational entities where - tivity is not centrally controlled, either because global control is impossible or impractical, or because the entities are controlled by di?erent owners. – The computational entities are mobile, due to the movement of the physical platforms or movement of the entity from one platform to another. – The con?guration varies over time. For instance, the system is open to the introduction of new computational entities and likewise their deletion. The behavior of the entities may vary over time. – The systems operate with incomplete information about the environment. For instance, information becomes rapidly out of date and mobility requires information about the environment to be discovered. Theultimategoaloftheresearchactionistoprovideasolidscienti?cfoundation for the design of such systems, and to lay the groundwork for achieving e?ective principles for building and analyzing such systems.

Keywords

Agile Scala Unified Modeling Language (UML) XML algorithm algorithms dependable computing global computing mobile code programming programming environments risk management secure systems systems design ubiquitous computing

Editors and affiliations

  • Corrado Priami
    • 1
  1. 1.Centre for Computational and Systems BiologyThe Microsoft Research - University of TrentoPovoItaly

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20583-8
  • Online ISBN 978-3-540-40042-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349