LEADER 04157nam  22008055  450 
001 9910483465803321
005 20251226200011.0
010   $a3-642-00945-X
024 7 $a10.1007/978-3-642-00945-7
035   $a(CKB)1000000000718148
035   $a(SSID)ssj0000320522
035   $a(PQKBManifestationID)11215105
035   $a(PQKBTitleCode)TC0000320522
035   $a(PQKBWorkID)10257695
035   $a(PQKB)10112875
035   $a(DE-He213)978-3-642-00945-7
035   $a(MiAaPQ)EBC3064115
035   $a(PPN)134131177
035   $a(EXLCZ)991000000000718148
100   $a20100301d2009      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTrustworthy Global Computing $e4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers /$fedited by Christos Kaklamanis, Flemming Nielson
205   $a1st ed. 2009.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009.
215   $a1 online resource (IX, 217 p.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5474
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-642-00944-1 
320   $aIncludes bibliographical references and index.
327   $aContract-Driven Implementation of Choreographies -- Model Checking Usage Policies -- Bounds on the Leakage of the Input?s 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.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5474
606   $aData protection
606   $aSoftware engineering
606   $aComputer networks
606   $aComputer programming
606   $aCompilers (Computer programs)
606   $aComputer science
606   $aData and Information Security
606   $aSoftware Engineering
606   $aComputer Communication Networks
606   $aProgramming Techniques
606   $aCompilers and Interpreters
606   $aComputer Science Logic and Foundations of Programming
615  0$aData protection.
615  0$aSoftware engineering.
615  0$aComputer networks.
615  0$aComputer programming.
615  0$aCompilers (Computer programs).
615  0$aComputer science.
615 14$aData and Information Security.
615 24$aSoftware Engineering.
615 24$aComputer Communication Networks.
615 24$aProgramming Techniques.
615 24$aCompilers and Interpreters.
615 24$aComputer Science Logic and Foundations of Programming.
676   $a005.8
701   $aKaklamanis$b Christos$01752946
701   $aNielson$b Flemming$0714740
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483465803321
996   $aTrustworthy global computing$94201956
997   $aUNINA