E-Book, Englisch, 342 Seiten, eBook
Montanari / Sannella / Bruni Trustworthy Global Computing
2007
ISBN: 978-3-540-75336-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
E-Book, Englisch, 342 Seiten, eBook
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-540-75336-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.