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
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.