Montanari / Sannella / Bruni | Trustworthy Global Computing | E-Book | sack.de
E-Book

E-Book, Englisch, 342 Seiten, eBook

Reihe: Theoretical Computer Science and General Issues

Montanari / Sannella / Bruni Trustworthy Global Computing

Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
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



Montanari / Sannella / Bruni Trustworthy Global Computing jetzt bestellen!

Zielgruppe


Research

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.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.