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

Front Cover
Christos Kaklamanis, Flemming Nielson
Springer Science & Business Media, Mar 26, 2009 - Computers - 217 pages
This volume contains the proceedings of the fourth edition of the International Symposium on Trustworthy Global Computing (TGC 2008) that was held in Barcelona, Spain, November 3-4, 2008. The Symposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable c- putation in global computers. It focuses on providing frameworks, tools, and protocolsfor constructing well-behavedapplications and onreasoningrigorously about their behavior and properties. The related models of computation inc- porate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices. This volume contains one invited paper from Gianluigi Zavattaro and co- thors, as well as the revised versions of the 12 contributed papers; these versions take into account both the referees' reports and the discussions that took place during the symposium. The Program Committee selected 12 papers from 26 submissions. Every submission was reviewed by at least three members of the Program Committee. In addition, the Program Committee sought the opinions of additional referees, selected because of their expertise in particular topics. We are grateful to Andrei Voronkov for his EasyChair system that helped us to manage these discussions. We would like to thank the authors who submitted paperstotheconference,the membersofthe ProgramCommittee,andthead- tional reviewersfor their excellent work. We would also like to thank the invited speakers to TGC 2008, Giuseppe Ateniese, Sophia Drossopoulou, and Gianluigi Zavattaro.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

ContractDriven Implementation of Choreographies
1
Model Checking Usage Policies
19
Bounds on the Leakage of the Inputs Distribution in InformationHiding Protocols
36
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
52
Provably Correct Implementations of Services
69
A Process Calculus Analysis of Compensations
87
Structured Communications with Concurrent Constraints
104
Type Systems for Bigraphs
126
On the Relative Expressive Power of AmbientBased Calculi
141
Connectivity in Multiinterface Networks
157
Optimal Routing and Call Scheduling in Wireless Mesh Networks with Localized Informations
171
Trust Management and Trust Negotiation in an Extension of SQL
186
Dynamic Recovering of Long Running Transactions
201
Author Index
216
Copyright

Other editions - View all

Common terms and phrases