Trustworthly [ie: Trustworthy] global computing : 5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

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. Front Matter....Pages - Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode....Pages 1-22 Perspectives in Certificate Translation....Pages 23-34 Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes....Pages 35-56 Toward a Game-Theoretic Model of Grid Systems....Pages 57-72 Functions as Processes: Termination and the $\lambda\mu\widetilde{\mu}$ -Calculus....Pages 73-86 Predicate Encryption for Secure Remote Storage....Pages 87-87 Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols....Pages 88-102 Expressiveness of Generic Process Shape Types....Pages 103-119 A Java Inspired Semantics for Transactions in SOC....Pages 120-134 Responsive Choice in Mobile Processes....Pages 135-152 A Model of Evolvable Components....Pages 153-171 The Impact of Altruism on the Efficiency of Atomic Congestion Games....Pages 172-188 Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung....Pages 189-204 An Algebra of Hierarchical Graphs....Pages 205-221 Property-Preserving Refinement of Concurrent Systems....Pages 222-236 Certificate Translation for the Verification of Concurrent Programs....Pages 237-252 Certified Result Checking for Polyhedral Analysis of Bytecode Programs....Pages 253-267 A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments....Pages 268-283 A Framework for Rule-Based Dynamic Adaptation....Pages 284-300 CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility....Pages 301-317 Refactoring Long Running Transactions: A Case Study....Pages 318-334 Approximate Model Checking of Stochastic COWS....Pages 335-347 Probabilistic Aspects: Checking Security in an Imperfect World....Pages 348-363 A Tool for Checking Probabilistic Properties of COWS Services....Pages 364-378 Back Matter....Pages - 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 This book constitutes the refereed proceedings of the 5th International Symposium on Trustworthly Global Computing, TGC 2010, held in Munich, Germany, in February 2010. The 17 revised full papers presented and the 7 invited papers were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on types and processes; games and concurrent systems; certification of correctness; tools and languages; and probabilistic aspects Constitutes the proceedings of the 5th International Symposium on Trustworthy Global Computing, TGC 2010, held in Munich, Germany, in February 2010. This title includes papers that are organized in topical sections on types and processes; games and concurrent systems; certification of correctness; tools and languages; and probabilistic aspects.