Atnaujinkite slapukų nuostatas

Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers 2013 ed. [Minkštas viršelis]

Edited by , Edited by
  • Formatas: Paperback / softback, 213 pages, aukštis x plotis: 235x155 mm, weight: 454 g, 37 Illustrations, black and white; X, 213 p. 37 illus., 1 Paperback / softback
  • Serija: Lecture Notes in Computer Science 8191
  • Išleidimo metai: 13-Sep-2013
  • Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642411568
  • ISBN-13: 9783642411564
Kitos knygos pagal šią temą:
  • Formatas: Paperback / softback, 213 pages, aukštis x plotis: 235x155 mm, weight: 454 g, 37 Illustrations, black and white; X, 213 p. 37 illus., 1 Paperback / softback
  • Serija: Lecture Notes in Computer Science 8191
  • Išleidimo metai: 13-Sep-2013
  • Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642411568
  • ISBN-13: 9783642411564
Kitos knygos pagal šią temą:
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Symposium on Trustworthy Global Computing, TGC 2012, held in Newcastle upon Tyne, UK, in September 2012. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 14 submissions. The papers cover a wide range of topics in the area of global computing and reliable computation in the so-called global computers, i.e., those computational abstractions emerging in large-scale infrastructures such as service-oriented architectures, autonomic systems and cloud computing, providing frameworks, tools, algorithms and protocols for designing open-ended, large-scale applications and for reasoning about their behavior and properties in a rigorous way.
From Rational Number Reconstruction to Set Reconciliation and File
Synchronization.- Affine Refinement Types for Authentication and
Authorization.- Seamless Distributed Computing from the Geometry of
Interaction.- A Beginners Guide to the DeadLock Analysis Model.- Formal
Modeling and Reasoning about the Android Security Framework.- A Type System
for Flexible Role Assignment in Multiparty Communicating Systems.- A
Multiparty Multi-session Logic.- LTS Semantics for Compensation-Based
Processes.- Linking Unlinkability.- Towards Quantitative Analysis of
Opacity.- An Algebra for Symbolic Diffie-Hellman Protocol Analysis.- Security
Analysis in Probabilistic Distributed Protocols via Bounded Reachability.-
Modular Reasoning about Differential Privacy in a Probabilistic Process
Calculus.