175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

Theoretical Computer Science and General Issues

Trustworthy Global Computing

5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Editors: Wirsing, Martin, Hofmann, Martin, Rauschmayer, Axel (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-15640-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-15639-7
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

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.

Table of contents (24 chapters)

  • Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode

    Aspinall, David (et al.)

    Pages 1-22

  • Perspectives in Certificate Translation

    Barthe, Gilles (et al.)

    Pages 23-34

  • Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes

    Bernardo, Marco (et al.)

    Pages 35-56

  • Toward a Game-Theoretic Model of Grid Systems

    Buscemi, Maria Grazia (et al.)

    Pages 57-72

  • Functions as Processes: Termination and the $\lambda\mu\widetilde{\mu}$ -Calculus

    Cimini, Matteo (et al.)

    Pages 73-86

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-15640-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-15639-7
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Trustworthy Global Computing
Book Subtitle
5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
Editors
  • Martin Wirsing
  • Martin Hofmann
  • Axel Rauschmayer
Series Title
Theoretical Computer Science and General Issues
Series Volume
6084
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Heidelberg
eBook ISBN
978-3-642-15640-3
DOI
10.1007/978-3-642-15640-3
Softcover ISBN
978-3-642-15639-7
Edition Number
1
Number of Pages
XII, 380
Number of Illustrations and Tables
72 b/w illustrations
Topics