Skip to main content
SpringerLink
Log in
Book cover

Global Computing

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

  • Conference proceedings
  • © 2005

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

  2. Paola Quaglia

    1. Dipartimento di Informatica e Telecomunicazioni, Università di Trento, 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 3267)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: GC 2004.

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 (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Symbolic Equivalences for Open Systems

    • Paolo Baldan, Andrea Bracciali, Roberto Bruni
    Pages 1-17

  3. Specifying and Verifying UML Activity Diagrams Via Graph Transformation

    • Paolo Baldan, Andrea Corradini, Fabio Gadducci
    Pages 18-33

  4. Mobile UML Statecharts with Localities

    • Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing
    Pages 34-58

  5. Communities: Concept-Based Querying for Mobile Services

    • Chara Skouteli, Christoforos Panayiotou, George Samaras, Evaggelia Pitoura
    Pages 59-76

  6. Towards a Formal Treatment of Secrecy Against Computational Adversaries

    • Angelo Troina, Alessandro Aldini, Roberto Gorrieri
    Pages 77-92

  7. For-LySa: UML for Authentication Analysis

    • Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini
    Pages 93-106

  8. Performance Analysis of a UML Micro-business Case Study

    • Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia
    Pages 107-126

  9. Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks

    • Sotiris Nikoletseas, Paul Spirakis
    Pages 127-145

  10. The Kell Calculus: A Family of Higher-Order Distributed Process Calculi

    • Alan Schmitt, Jean-Bernard Stefani
    Pages 146-178

  11. A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi

    • Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís Lopes, Licínio Oliveira et al.
    Pages 179-207

  12. A Generic Membrane Model (Note)

    • Gérard Boudol
    Pages 208-222

  13. A Framework for Structured Peer-to-Peer Overlay Networks

    • Luc Onana Alima, Ali Ghodsi, Seif Haridi
    Pages 223-249

  14. Verifying a Structured Peer-to-Peer Overlay Network: The Static Case

    • Johannes Borgström, Uwe Nestmann, Luc Onana, Dilian Gurov
    Pages 250-265

  15. A Physics-Style Approach to Scalability of Distributed systems

    • Erik Aurell, Sameh El-Ansary
    Pages 266-272

  16. BGP-Based Clustering for Scalable and Reliable Gossip Broadcast

    • M. Brahami, P. Th. Eugster, R. Guerraoui, S. B. Handurukande
    Pages 273-290

  17. Trust Lifecycle Management in a Global Computing Environment

    • S. Terzis, W. Wagealla, C. English, P. Nixon
    Pages 291-313

  18. The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies

    • Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    Pages 314-339

  19. The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation

    • A. Bracciali, N. Demetriou, U. Endriss, A. Kakas, W. Lu, P. Mancarella et al.
    Pages 340-367

  20. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Global Computing

Keywords

Editors and Affiliations

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

    Corrado Priami

  • Dipartimento di Informatica e Telecomunicazioni, Università di Trento, Italy

    Paola Quaglia

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation