Trustworthy Global Computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
Uloženo v:
| Další autoři: | |
|---|---|
| Korporace: | |
| Médium: | E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlin ; Heidelberg :
Springer Berlin Heidelberg,
2007
|
| Edice: | Lecture Notes in Computer Science
|
| Žánr/forma: | elektronické knihy |
| ISBN: | 978-3-540-75336-0 9783540753339 |
| Témata: | |
| On-line přístup: | Plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
Obsah:
- 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