Skip to main content
SpringerLink
Log in

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

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

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Corrado Priami

    1. Centre for Computational and Systems Biology, The Microsoft Research - University of Trento, Povo, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: GC 2003.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (8 papers)

  1. Front Matter

    Download chapter PDF

  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. A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism

    • Alessandro Aldini, Roberto Gorrieri
    Pages 203-228

  9. Performance Evaluation for Global Computation

    • Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami
    Pages 229-253

  10. Back Matter

    Download chapter PDF
Back to top

Other volumes

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

Keywords

About this book

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.

Editors and Affiliations

  • Centre for Computational and Systems Biology, The Microsoft Research - University of Trento, Povo, Italy

    Corrado Priami

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation