LEADER 04093nam 22008295 450 001 996465653703316 005 20230406052026.0 010 $a3-540-75336-2 024 7 $a10.1007/978-3-540-75336-0 035 $a(CKB)1000000000491056 035 $a(SSID)ssj0000320521 035 $a(PQKBManifestationID)11262158 035 $a(PQKBTitleCode)TC0000320521 035 $a(PQKBWorkID)10257810 035 $a(PQKB)10281351 035 $a(DE-He213)978-3-540-75336-0 035 $a(MiAaPQ)EBC3062941 035 $a(MiAaPQ)EBC6703017 035 $a(Au-PeEL)EBL6703017 035 $a(PPN)123728576 035 $a(EXLCZ)991000000000491056 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTrustworthy Global Computing$b[electronic resource] $eSecond Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers /$fedited by Ugo Montanari, Donald Sannella, Roberto Bruni 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (X, 342 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4661 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-75333-8 320 $aIncludes bibliographical references and index. 327 $aFP6 Project Overviews -- Project AEOLUS: An Overview -- MOBIUS: Mobility, Ubiquity, Security -- Sensoria Process Calculi for Service-Oriented Computing -- Global Grids ? Making a Case for Self-organization in Large-Scale Overlay Networks -- Keynote Speakers -- Software of the Future Is the Future of Software? -- An Algorithmic Theory of Mobile Agents -- Types to Discipline Interactions -- Spatial-Behavioral Types, Distributed Services, and Resources -- Integration of a Security Type System into a Program Logic -- Calculi for Distributed Systems -- PRISMA: A Mobile Calculus with Parametric Synchronization -- On Bisimulation Proofs for the Analysis of Distributed Abstract Machines -- A Typed Calculus for Querying Distributed XML Documents -- Flexible Modeling -- Verification of Model Transformations: A Case Study with BPEL -- A Fuzzy Approach for Negotiating Quality of Services -- Algorithms and Systems for Global Computing -- Scheduling to Maximize Participation -- On the Limits of Cache-Oblivious Matrix Transposition -- The KOA Remote Voting System: A Summary of Work to Date -- Security, Anonymity and Type Safety -- Security Types for Dynamic Web Data -- Anonymity Protocols as Noisy Channels -- A Framework for Automatically Checking Anonymity with ?CRL -- A Framework for Type Safe Exchange of Mobile Code. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4661 606 $aSoftware engineering 606 $aComputer networks 606 $aComputer programming 606 $aData protection 606 $aCompilers (Computer programs) 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aProgramming Techniques 606 $aData and Information Security 606 $aCompilers and Interpreters 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aComputer programming. 615 0$aData protection. 615 0$aCompilers (Computer programs). 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aProgramming Techniques. 615 24$aData and Information Security. 615 24$aCompilers and Interpreters. 676 $a005.8 686 $aDAT 252f$2stub 686 $aDAT 460f$2stub 686 $aDAT 465f$2stub 686 $aSS 4800$2rvk 702 $aMontanari$b U$g(Ugo), 702 $aSannella$b D$g(Donald),$f1956- 702 $aBruni$b Roberto 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465653703316 996 $aTrustworthy Global Computing$9771960 997 $aUNISA