Trustworthy Global Computing : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers - Roberto Bruni

Instant online reading.
Don't wait for delivery!

Trustworthy Global Computing

6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

By: Roberto Bruni (Editor), Vladimiro Sassone (Editor)

Write A Review

Paperback | 22 May 2012

At a Glance

Paperback
256 Pages

Dimensions(cm)
22.86 x 15.24 x 1.27

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Algorithms & Data Structures Computer Security Data Encryption Reference, Information & Interdisciplinary Subjects Research & Information Coding Theory & Cryptology Computer Science Human-Computer Interaction

Information Architecture Computer Hardware Network Hardware Business & Management Business Mathematics & Systems Information theory

A Reputation System for Multirole Sessions	p. 1
Asynchronous Distributed Monitoring for Multiparty Session Enforcement	p. 25
E-Mobility as a Challenge for New ICT Solutions in the Car Industry	p. 46
On the Existence of Nash Equilibria in Strategic Search Games	p. 58
Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language	p. 73
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes	p. 89
Constraints for Service Contracts	p. 104
Security of the Enhanced TCG Privacy-CA Solution	p. 121
Context Aware Specification and Verification of Distributed Systems	p. 142
Orchestrating Tuple-Based Languages	p. 160
Transactional Correctness for Secure Nested Transactions (Extended Abstract)	p. 179
Orchestrating Unreliable Services: Strategic and Probabilistic Approaches to Realiability	p. 197
On Correlation Sets and Correlation Exceptions in ActiveBPEL	p. 212
Conditional Information Flow Policies and Unwinding Relations	p. 227
Author Index	p. 243
Table of Contents provided by Ingram. All Rights Reserved.

Trustworthy Global Computing

6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Information theory

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Two-Dimensional Self and Product Polynomial Systems

Fractional Differential Equations

Numerical Methods for Applications

Areas of Success for AI

Third Annual Workshop, Embry-Riddle L. H. Harper Memorial AI Workshop 2025, Prescott, AZ, USA, August 15-16, 2025, Proceedings

ESG Investment, German Industrie 4.0, and Blockchain

Mathematics of Epidemics on Networks

From Exact to Approximate Models

Artificial Intelligence, Cybersecurity and Game Design

ICAICG 2024, Rajapalayam, India, February 23â"25

The Infinite Alphabet

And the Laws of Knowledge

Nexus

A Brief History of Information Networks from the Stone Age to AI

Psycho-Cybernetics (Updated and Expanded)

Psycho-cybernetics

Psycho-Cybernetics 365

Thrive and Grow Every Day of the Year

Thinking in Systems

A Primer

Effective Machine Learning Teams

Best Practices for ML Practitioners

Constrained Cooperation: Event-Triggered and Intelligent Backstepping Control for Nonlinear Multiagent Systems

Balancing Performance, Communication, and Computation

An Introduction to Systems Biology

Design Principles of Biological Circuits

Information, Entropy, Life and the Universe

What We Know and What We Do Not Know

Innovations in Management, Technology, and Performance

Driving Sustainable Solutions and Business Value

The e-Dimensionality Information Principle

Data, Representation, and Algorithms

Quantum Artificial Intelligence

Technologies, Algorithms and Programming

Innovations in Management, Technology, and Performance

Driving Sustainable Solutions and Business Value

Explainable AI (XAI) for Sustainable Development

Trends and Applications

Modelling of Virtual Worlds Using the Internet of Things

Intelligent Data-Driven Systems and Artificial Intelligence

Coding for Erasure Channels

Dynamical Systems Essentials

An Application Oriented Introduction to Ideas, Concepts, Examples, Methods, and Results

This product is categorised by