Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
Martin Wirsing, Martin Hofmann, Axel Rauschmayer
Springer Science & Business Media, Sep 13, 2010 - Business & Economics - 380 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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
abstract abstract interpretation action activity adaptation algebra algorithm allocation analysis application approach behaviour bisimulation bound bytecode calculus certiﬁcate translation channel communication compiler component Computer concurrent congestion games consider corresponding daemon deﬁned Deﬁnition denote described diﬀerent eﬀect Ehrhart polynomials encoding environment equivalence example execution ﬁrst ﬂow framework function global Grid job Heidelberg identiﬁers implementation input interface invocation Labelled Transition System language Lemma LNCS logic machine Markov chains method model checking names Nash Nash equilibrium nodes oﬀer operational semantics operator optimizations output overlay overlay network parameters performed players polyhedral price of anarchy probabilistic probability process calculi proﬁle proof obligations properties protocol reduction relation resource result rules satisﬁes scenario scheduling Scows selﬁsh semantics sendMail server shape types speciﬁcation Springer stochastic strategy structure syntax transactional scope tuple type system values variables veriﬁcation