Skip to main content
SpringerLink
Log in
Book cover

Trustworthy Global Computing

Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Ugo Montanari
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Donald Sannella
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Roberto Bruni
    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 4661)

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

Included in the following conference series:

Conference proceedings info: TGC 2006.

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

  1. Front Matter

    Download chapter PDF

  2. FP6 Project Overviews

    1. Project AEOLUS: An Overview

      • Christos Kaklamanis
      Pages 1-9

    2. MOBIUS: Mobility, Ubiquity, Security

      • Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller et al.
      Pages 10-29

    3. Sensoria Process Calculi for Service-Oriented Computing

      • Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias Hölzl, Roberto Lucchi, Mirco Tribastone et al.
      Pages 30-50

    4. Global Grids – Making a Case for Self-organization in Large-Scale Overlay Networks

      • Torsten Eymann, Werner Streitberger, Sebastian Hudert
      Pages 51-68

  3. Keynote Speakers

    1. Software of the Future Is the Future of Software?

      • Paola Inverardi
      Pages 69-85

    2. An Algorithmic Theory of Mobile Agents

      • Evangelos Kranakis, Danny Krizanc
      Pages 86-97

  4. Types to Discipline Interactions

    1. Spatial-Behavioral Types, Distributed Services, and Resources

      • Luís Caires
      Pages 98-115

    2. Integration of a Security Type System into a Program Logic

      • Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter
      Pages 116-131

  5. Calculi for Distributed Systems

    1. PRISMA: A Mobile Calculus with Parametric Synchronization

      • Roberto Bruni, Ivan Lanese
      Pages 132-149

    2. On Bisimulation Proofs for the Analysis of Distributed Abstract Machines

      • Damien Pous
      Pages 150-166

    3. A Typed Calculus for Querying Distributed XML Documents

      • Lucia Acciai, Michele Boreale, Silvano Dal Zilio
      Pages 167-182

  6. Flexible Modeling

    1. Verification of Model Transformations: A Case Study with BPEL

      • Luciano Baresi, Karsten Ehrig, Reiko Heckel
      Pages 183-199

    2. A Fuzzy Approach for Negotiating Quality of Services

      • Davide Bacciu, Alessio Botta, Hernán Melgratti
      Pages 200-217

  7. Algorithms and Systems for Global Computing

    1. Scheduling to Maximize Participation

      • Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Evi Papaioannou
      Pages 218-232

    2. On the Limits of Cache-Oblivious Matrix Transposition

      • Francesco Silvestri
      Pages 233-243

    3. The KOA Remote Voting System: A Summary of Work to Date

      • Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk et al.
      Pages 244-262

  8. Security, Anonymity and Type Safety

    1. Security Types for Dynamic Web Data

      • Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantović
      Pages 263-280

    2. Anonymity Protocols as Noisy Channels

      • Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
      Pages 281-300

    3. A Framework for Automatically Checking Anonymity with μCRL

      • Tom Chothia, Simona Orzan, Jun Pang, Mohammad Torabi Dashti
      Pages 301-318
Back to top

Other volumes

  1. Trustworthy Global Computing

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation