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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Montanari, Ugo (Επιμελητής έκδοσης), Sannella, Donald (Επιμελητής έκδοσης), Bruni, Roberto (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4661
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer security.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Computer Communication Networks.; Programming Techniques.; Systems and Data Security.; Programming Languages, Compilers, Interpreters.

Πίνακας περιεχομένων:

• 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.