Description: Trustworthy Global Computing by Christos Kaklamanis, Flemming Nielson This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008. The 12 revised papers presented together with one invited paper were carefully selected from 26 submissions during two rounds of reviewing and improvement. The TGC 2008 symposium papers focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their behavior and properties in models of computation that incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices. Back Cover This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008. The 12 revised papers presented together with one invited paper were carefully selected from 26 submissions during two rounds of reviewing and improvement. The TGC 2008 symposium papers focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their behavior and properties in models of computation that incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices. Table of Contents Contract-Driven Implementation of Choreographies.- Model Checking Usage Policies.- Bounds on the Leakage of the Inputs Distribution in Information-Hiding Protocols.- Combining Timed Coordination Primitives and Probabilistic Tuple Spaces.- Provably Correct Implementations of Services.- A Process Calculus Analysis of Compensations.- Structured Communications with Concurrent Constraints.- Type Systems for Bigraphs.- On the Relative Expressive Power of Ambient-Based Calculi.- Connectivity in Multi-interface Networks.- Optimal Routing and Call Scheduling in Wireless Mesh Networks with Localized Informations.- Trust Management and Trust Negotiation in an Extension of SQL.- Dynamic Recovering of Long Running Transactions. Long Description This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008. The 12 revised papers presented together with one invited paper were carefully selected from 26 submissions during two rounds of reviewing and improvement. The TGC 2008 symposium papers focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their behavior and properties in models of computation that incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices. Details ISBN3642009441 Language English ISBN-10 3642009441 ISBN-13 9783642009440 Media Book Format Paperback Series Number 5474 Year 2009 DEWEY 005.8 Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K Place of Publication Berlin Country of Publication Germany Subtitle 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers Short Title TRUSTWORTHY GLOBAL COMPUTING 2 Pages 217 Edition 2009th Edited by Flemming Nielson Illustrations IX, 217 p. DOI 10.1007/978-3-642-00945-7 Author Flemming Nielson Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Edition Description 2009 ed. Publication Date 2009-03-26 Audience Professional & Vocational Series Theoretical Computer Science and General Issues We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96274715;
Price: 115.04 AUD
Location: Melbourne
End Time: 2025-01-08T03:33:02.000Z
Shipping Cost: 9.49 AUD
Product Images
Item Specifics
Restocking fee: No
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 30 Days
ISBN-13: 9783642009440
Book Title: Trustworthy Global Computing
Item Height: 235 mm
Item Width: 155 mm
Author: Flemming Nielson, Christos Kaklamanis
Publication Name: Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Format: Paperback
Language: English
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Subject: Computer Science
Publication Year: 2009
Type: Textbook
Item Weight: 355 g
Number of Pages: 217 Pages
