04068nam 22008295 450 991048354600332120230406052026.03-540-75336-210.1007/978-3-540-75336-0(CKB)1000000000491056(SSID)ssj0000320521(PQKBManifestationID)11262158(PQKBTitleCode)TC0000320521(PQKBWorkID)10257810(PQKB)10281351(DE-He213)978-3-540-75336-0(MiAaPQ)EBC3062941(MiAaPQ)EBC6703017(Au-PeEL)EBL6703017(PPN)123728576(EXLCZ)99100000000049105620100301d2007 u| 0engurnn|008mamaatxtccrTrustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers /edited by Ugo Montanari, Donald Sannella, Roberto Bruni1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (X, 342 p.) Theoretical Computer Science and General Issues,2512-2029 ;4661Bibliographic Level Mode of Issuance: Monograph3-540-75333-8 Includes bibliographical references and index.FP6 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.Theoretical Computer Science and General Issues,2512-2029 ;4661Software engineeringComputer networksComputer programmingData protectionCompilers (Computer programs)Software EngineeringComputer Communication NetworksProgramming TechniquesData and Information SecurityCompilers and InterpretersSoftware engineering.Computer networks.Computer programming.Data protection.Compilers (Computer programs).Software Engineering.Computer Communication Networks.Programming Techniques.Data and Information Security.Compilers and Interpreters.005.8DAT 252fstubDAT 460fstubDAT 465fstubSS 4800rvkMontanari U(Ugo),Sannella D(Donald),1956-Bruni RobertoMiAaPQMiAaPQMiAaPQBOOK9910483546003321Trustworthy Global Computing771960UNINA