+612 9045 4394
Trustworthy Global Computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006,  Revised Selected Papers - Ugo Montanari

Trustworthy Global Computing

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

By: Ugo Montanari (Editor), Donald Sannella (Editor), Roberto Bruni (Editor)

Paperback Published: 22nd November 2007
ISBN: 9783540753339
Number Of Pages: 338

Share This Book:


or 4 easy payments of $31.24 with Learn more
Ships in 5 to 9 business days

This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006. The 14 revised papers presented together with two keynote lectures were carefully reviewed and selected from 32 submissions. The book starts off with activity reviews of four FP6 programmes of the European Union: Aeolus, Mobius, Sensoria, and Catnets.

FP6 Project Overviews
Project AEOLUS: An Overviewp. 1
MOBIUS: Mobility, Ubiquity, Securityp. 10
Sensoria Process Calculi for Service-Oriented Computingp. 30
Global Grids - Making a Case for Self-organization in Large-Scale Overlay Networksp. 51
Keynote Speakers
Software of the Future Is the Future of Software?p. 69
An Algorithmic Theory of Mobile Agentsp. 86
Types to Discipline Interactions
Spatial-Behavioral Types, Distributed Services, and Resourcesp. 98
Integration of a Security Type System into a Program Logicp. 116
Calculi for Distributed Systems
PRISMA: A Mobile Calculus with Parametric Synchronizationp. 132
On Bisimulation Proofs for the Analysis of Distributed Abstract Machinesp. 150
A Typed Calculus for Querying Distributed XML Documentsp. 167
Flexible Modeling
Verification of Model Transformations: A Case Study with BPELp. 183
A Fuzzy Approach for Negotiating Quality of Servicesp. 200
Algorithms and Systems for Global Computing
Scheduling to Maximize Participationp. 218
On the Limits of Cache-Oblivious Matrix Transpositionp. 233
The KOA Remote Voting System: A Summary of Work to Datep. 244
Security, Anonymity and Type Safety
Security Types for Dynamic Web Datap. 263
Anonymity Protocols as Noisy Channelsp. 281
A Framework for Automatically Checking Anonymity with [mu]CRLp. 301
A Framework for Type Safe Exchange of Mobile Codep. 319
Author Indexp. 339
Table of Contents provided by Ingram. All Rights Reserved.

ISBN: 9783540753339
ISBN-10: 3540753338
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 338
Published: 22nd November 2007
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.47 x 15.49  x 2.01
Weight (kg): 0.53