Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers / Edition 1

Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers / Edition 1

by Christos Kaklamanis
     
 

ISBN-10: 3642009441

ISBN-13: 9783642009440

Pub. Date: 03/26/2009

Publisher: Springer Berlin Heidelberg

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008.

The 12 revised papers presented together with one invited paper were carefully selected from 26 submissions during two rounds of reviewing and improvement. The TGC 2008

…  See more details below

Overview

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008.

The 12 revised papers presented together with one invited paper were carefully selected from 26 submissions during two rounds of reviewing and improvement. The TGC 2008 symposium papers focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their behavior and properties in models of computation that incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.

Product Details

ISBN-13:
9783642009440
Publisher:
Springer Berlin Heidelberg
Publication date:
03/26/2009
Series:
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Series, #5474
Edition description:
2009
Pages:
217
Product dimensions:
6.00(w) x 9.30(h) x 0.50(d)

Table of Contents

Contract-Driven Implementation of Choreographies.- Model Checking Usage Policies.- Bounds on the Leakage of the Input’s Distribution in Information-Hiding Prools.- Combining Timed Coordination Primitives and Probabilistic Tuple Spaces.- Provably Correct Implementations of Services.- A Process Calculus Analysis of Compensations.- Structured Communications with Concurrent Constraints.- Type Systems for Bigraphs.- On the Relative Expressive Power of Ambient-Based Calculi.- Connectivity in Multi-interface Networks.- Optimal Routing and Call Scheduling in Wireless Mesh Networks with Localized Informations.- Trust Management and Trust Negotiation in an Extension of SQL.- Dynamic Recovering of Long Running Transactions.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >