LEADER 04599nam 22008775 450 001 9910483546003321 005 20251226200527.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(MiAaPQ)EBC337024 035 $a(BIP)34165043 035 $a(BIP)14495493 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 $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 08$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. 330 $aThis book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006. The 14 revised papers presented together with two keynote lectures were carefully reviewed and selected from 32 submissions. The book starts off with activity reviews of four FP6 programmes of the European Union: Aeolus, Mobius, Sensoria, and Catnets. 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 $a9910483546003321 996 $aTrustworthy Global Computing$9771960 997 $aUNINA