Trustworthy Global Computing - Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

Sommario

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.

Dettagli sul prodotto

• Con la collaborazione di: Roberto Bruni (Editore), Ugo Montanari (Editore), Donald Sannella (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 22.11.2007
• EAN: 9783540753339
• ISBN: 978-3-540-75333-9
• Pagine: 342
• Dimensioni: 155 mm x 19 mm x 235 mm
• Peso: 540 g
• Illustrazioni: X, 342 p.
• Serie: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica; Computersicherheit, C, Netzwerksicherheit, Software Engineering, Computerprogrammierung und Softwareentwicklung, Netzwerk-Hardware, Compiler und Übersetzer, computer science, Systems and Data Security, Data and Information Security, Software Engineering/Programming and Operating Systems, Computer Communication Networks, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Operating systems, Network Security, Computer security, Computer programming / software engineering, Computer communication systems, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Network hardware, Compilers and Interpreters