Skip to main content
SpringerLink
Log in

Trustworthy Global Computing

5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Martin Wirsing

    1. Institut für Informatik, LMU Munich, Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Martin Hofmann

    1. Institut für Informatik, LMU München, München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Axel Rauschmayer

    1. Institut für Informatik, LMU München, München, Germany

    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 6084)

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

Included in the following conference series:

Conference proceedings info: TGC 2010.

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

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode

      • David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella
      Pages 1-22

    2. Perspectives in Certificate Translation

      • Gilles Barthe, César Kunz
      Pages 23-34

    3. Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes

      • Marco Bernardo, Rocco De Nicola, Michele Loreti
      Pages 35-56

    4. Toward a Game-Theoretic Model of Grid Systems

      • Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja
      Pages 57-72

    5. Functions as Processes: Termination and the \(\lambda\mu\widetilde{\mu}\)-Calculus

      • Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi
      Pages 73-86

    6. Predicate Encryption for Secure Remote Storage

      • Giuseppe Persiano
      Pages 87-87

    7. Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols

      • Vladimiro Sassone, Ehab ElSalamouny, Sardaouna Hamadou
      Pages 88-102

  3. Types and Processes

    1. Expressiveness of Generic Process Shape Types

      • Jan Jakubův, J. B. Wells
      Pages 103-119

    2. A Java Inspired Semantics for Transactions in SOC

      • Laura Bocchi, Emilio Tuosto
      Pages 120-134

    3. Responsive Choice in Mobile Processes

      • Maxime Gamboni, António Ravara
      Pages 135-152

    4. A Model of Evolvable Components

      • Fabrizio Montesi, Davide Sangiorgi
      Pages 153-171

  4. Games and Concurrent Systems

    1. The Impact of Altruism on the Efficiency of Atomic Congestion Games

      • Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Maria Kyropoulou, Evi Papaioannou
      Pages 172-188

    2. Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung

      • Joaquim Gabarro, Peter Kilpatrick, Maria Serna, Alan Stewart
      Pages 189-204

    3. An Algebra of Hierarchical Graphs

      • Roberto Bruni, Fabio Gadducci, Alberto Lluch Lafuente
      Pages 205-221

    4. Property-Preserving Refinement of Concurrent Systems

      • Liliana D’Errico, Michele Loreti
      Pages 222-236

  5. Certification of Correctness

    1. Certificate Translation for the Verification of Concurrent Programs

      • César Kunz
      Pages 237-252

    2. Certified Result Checking for Polyhedral Analysis of Bytecode Programs

      • Frédéric Besson, Thomas Jensen, David Pichardie, Tiphaine Turpin
      Pages 253-267

  6. Tools and Languages

    1. A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments

      • Paolo Bertasi, Alberto Pettarin, Michele Scquizzato, Francesco Silvestri
      Pages 268-283

    2. A Framework for Rule-Based Dynamic Adaptation

      • Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi
      Pages 284-300
Back to top

Other volumes

  1. Trustworthly Global Computing

Keywords

About this book

Global computing refers to computation over “global computers,” i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees for communication, cooperation and mobility, resource usage, security policies and mechanisms, etc., with particular regard to explo- ing their universal scale and the programmability of their services. As the scope and computational power of such global infrastructures continue to grow, it - comes more and more important to develop methods, theories and techniques for trustworthy systems running on global computers. This book constitutes the thoroughly refereed proceedings of the ?fth e- tion of the International Symposium on Trustworthy Global Computing (TGC 2010)thatwasheldinMunich,Germany,February24-26,2010.TheSymposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in global computers. It focuses on providing frameworks, tools, and protocols for constructing well-behaved applications and on reasoning rigorouslyabout their behavior and properties. The related models of computation incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.

Editors and Affiliations

  • Institut für Informatik, LMU Munich, Munich, Germany

    Martin Wirsing

  • Institut für Informatik, LMU München, München, Germany

    Martin Hofmann, Axel Rauschmayer

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation