Skip to main content
  • Conference proceedings
  • © 2005

Global Computing

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

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)

Conference series link(s): GC: International Workshop on Global Computing

Conference proceedings info: GC 2004.

Buy it now

Buying options

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

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

Table of contents (18 papers)

  1. Front Matter

  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. The Kell Calculus: A Family of Higher-Order Distributed Process Calculi

    • Alan Schmitt, Jean-Bernard Stefani
    Pages 146-178
  10. 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
  11. A Generic Membrane Model (Note)

    • Gérard Boudol
    Pages 208-222
  12. A Framework for Structured Peer-to-Peer Overlay Networks

    • Luc Onana Alima, Ali Ghodsi, Seif Haridi
    Pages 223-249
  13. Verifying a Structured Peer-to-Peer Overlay Network: The Static Case

    • Johannes Borgström, Uwe Nestmann, Luc Onana, Dilian Gurov
    Pages 250-265
  14. A Physics-Style Approach to Scalability of Distributed systems

    • Erik Aurell, Sameh El-Ansary
    Pages 266-272
  15. BGP-Based Clustering for Scalable and Reliable Gossip Broadcast

    • M. Brahami, P. Th. Eugster, R. Guerraoui, S. B. Handurukande
    Pages 273-290
  16. Trust Lifecycle Management in a Global Computing Environment

    • S. Terzis, W. Wagealla, C. English, P. Nixon
    Pages 291-313
  17. 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
  18. 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
  19. Back Matter

Other Volumes

  1. Global Computing

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

Buy it now

Buying options

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