Read While You Wait - Get immediate ebook access, if available*, when you order a print book

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.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD
  • 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 in USD
  • ISBN 978-3-642-15639-7
  • Free shipping for individuals worldwide. COVID-19 shipping restrictions apply.
  • Immediate ebook access, if available*, with your print order
  • 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)

Table of contents (24 chapters)
  • Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode

    Pages 1-22

    Aspinall, David (et al.)

  • Perspectives in Certificate Translation

    Pages 23-34

    Barthe, Gilles (et al.)

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

    Pages 35-56

    Bernardo, Marco (et al.)

  • Toward a Game-Theoretic Model of Grid Systems

    Pages 57-72

    Buscemi, Maria Grazia (et al.)

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

    Pages 73-86

    Cimini, Matteo (et al.)

Buy this book

eBook $74.99
price for USA in USD
  • 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 in USD
  • ISBN 978-3-642-15639-7
  • Free shipping for individuals worldwide. COVID-19 shipping restrictions apply.
  • Immediate ebook access, if available*, with your print order
  • 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
72 b/w illustrations
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.