Pub. Date:
Springer Berlin Heidelberg
Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers / Edition 1

Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers / Edition 1


Current price is , Original price is $99.0. You
Select a Purchase Option (2010)
  • purchase options
    $66.74 $99.00 Save 33% Current price is $66.74, Original price is $99. You Save 33%.
  • purchase options

Product Details

ISBN-13: 9783642156397
Publisher: Springer Berlin Heidelberg
Publication date: 11/04/2010
Series: Lecture Notes in Computer Science , #6084
Edition description: 2010
Pages: 380
Product dimensions: 6.10(w) x 9.20(h) x 0.80(d)

Table of Contents

I Invited Talks

Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode David Aspinall Robert Atkey Kenneth MacKenzie Donald Sannella 1

Perspectives in Certificate Translation Gilles Barthe César Kunz 23

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes Marco Bernardo Rocco De Nicola Michele Loreti 35

Toward a Game-Theoretic Model of Grid Systems Maria Grazia Buscemi Ugo Montanari Sonia Taneja 57

Functions as Processes: Termination and the λμμ-calculus Matteo Cimini Claudio Sacerdoti Coen Davide Sangiorgi 73

Predicate Encryption for Secure Remote Storage (Abstract) Giuseppe Persiano 87

Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols Vladimiro Sassone Ehab ElSalamouny Sardaouna Hamadou 88

II Types and Processes

Expressiveness of Generic Process Shape Types Jan Jakubuv J.B. Wells 103

A Java Inspired Semantics for Transactions in SOC Laura Bocchi Emilio Tuosto 120

Responsive Choice in Mobile Processes Maxime Gamboni António Ravara 135

A Model of Evolvable Components Fabrizio Montesi Davide Sangiorgi 153

III Games and Concurrent Systems

The Impact of Altruism on the Efficiency of Atomic Congestion Games Ioannis Caragiannis Christos Kaklamanis Panagiotis Kanellopoulos Maria Kyropoulou Evi Papaioannou 172

Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung Joaquim Gabarro Peter Kilpatrick Maria Serna Alan Stewart 189

An Algebra of Hierarchical Graphs Roberto Bruni Fabio Gadducci Alberto Lluch Lafuente 205

Property-Preserving Refinement of Concurrent Systems Liliana D'Errico Michele Loreti 222

IV Certification of Correctness

Certificate Translation for the Verification of Concurrent Programs César Kunz 237

Certified Result Checking for Polyhedral Analysis of Bytecode Programs Frédéric Besson Thomas Jensen David Pichardie Tiphaine Turpin 253

V Tools and Languages

A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments Paolo Bertasi Alberto Pettarin Michele Scquizzato Francesco Silvestri 268

A Framework for Rule-Based Dynamic Adaptation Ivan Lanese Antonio Bucchiarone Fabrizio Montesi 284

CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility Vincenzo Ciancaglini Luigi Liquori Laurent Vanni 301

Refactoring Long Running Transactions: A Case Study Gianluigi Ferrari Roberto Guanciale Daniele Strollo Emilio Tuosto 318

VI Probabilistic Aspects

Approximate Model Checking of Stochastic COWS Paola Quaglia Stefano Schivo 335

Probabilistic Aspects: Checking Security in an Imperfect World Chris Hankin Flemming Nielson Hanne Riis Nielson 348

A Tool for Checking Probabilistic Properties of COWS Services Igor Cappello Paola Quaglia 364

Author Index 379

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews