Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2010

Trustworthy Global Computing

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

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)

Conference series link(s): TGC: International Symposium on Trustworthy Global Computing

Conference proceedings info: TGC 2010.

Sections

Buy it now

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, access via your institution.

Table of contents (24 papers)

  1. Front Matter

    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

    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

    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

Back to top

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.
Back to top

Keywords

  • Java
  • Overlay
  • Refactoring
  • Symbol
  • access control
  • adaptation
  • anonymity
  • authentication
  • cryptographic protocol
  • encryption
  • language
  • privacy
  • security
  • semantics
  • verification
  • algorithm analysis and problem complexity
Back to top

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

Back to top

Bibliographic Information

Back to top
Access via your institution

Buy it now

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

search

Navigation