Trustworthy global computing

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