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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Montanari, Ugo (Editor ), Sannella, Donald (Editor ), Bruni, Roberto (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Theoretical Computer Science and General Issues, 4661
Temas:
Software engineering.
Computer networks .
Computer programming.
Data protection.
Compilers (Computer programs).
Software Engineering.
Computer Communication Networks.
Programming Techniques.
Data and Information Security.
Compilers and Interpreters.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares