Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers > A Typed Calculus for Querying Distributed XML Documents
Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers |
Ugo Montanari; Donald Sannella; Roberto Bruni
Springer Berlin Heidelberg
Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
A Typed Calculus for Querying Distributed XML Documents
Authors

Lucia Acciai; Michele Boreale; Silvano Dal Zilio

ARI Id

1664713085611_2869833

Access

Not Available Free

Pages

167-182

DOI

10.1007/978-3-540-75336-0_11

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-540-75336-0_11

Table of Contents of Book
Showing 1 to 20 of 22 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Project AEOLUS: An Overview
Christos Kaklamanis
1-9
MOBIUS: Mobility, Ubiquity, Security
Gilles Barthe; Lennart Beringer; Pierre Crégut; Benjamin Grégoire; Martin Hofmann; Peter Müller et al.
10-29
Sensoria Process Calculi for Service-Oriented Computing
Martin Wirsing; Rocco De Nicola; Stephen Gilmore; Matthias Hölzl; Roberto Lucchi; Mirco Tribastone et al.
30-50
Global Grids – Making a Case for Self-organization in Large-Scale Overlay Networks
Torsten Eymann; Werner Streitberger; Sebastian Hudert
51-68
Software of the Future Is the Future of Software?
Paola Inverardi
69-85
An Algorithmic Theory of Mobile Agents
Evangelos Kranakis; Danny Krizanc
86-97
Spatial-Behavioral Types, Distributed Services, and Resources
Luís Caires
98-115
Integration of a Security Type System into a Program Logic
Reiner Hähnle; Jing Pan; Philipp Rümmer; Dennis Walter
116-131
PRISMA: A Mobile Calculus with Parametric Synchronization
Roberto Bruni; Ivan Lanese
132-149
On Bisimulation Proofs for the Analysis of Distributed Abstract Machines
Damien Pous
150-166
A Typed Calculus for Querying Distributed XML Documents
Lucia Acciai; Michele Boreale; Silvano Dal Zilio
167-182
Verification of Model Transformations: A Case Study with BPEL
Luciano Baresi; Karsten Ehrig; Reiko Heckel
183-199
A Fuzzy Approach for Negotiating Quality of Services
Davide Bacciu; Alessio Botta; Hernán Melgratti
200-217
Scheduling to Maximize Participation
Ioannis Caragiannis; Christos Kaklamanis; Panagiotis Kanellopoulos; Evi Papaioannou
218-232
On the Limits of Cache-Oblivious Matrix Transposition
Francesco Silvestri
233-243
The KOA Remote Voting System: A Summary of Work to Date
Joseph R. Kiniry; Alan E. Morkan; Dermot Cochran; Fintan Fairmichael; Patrice Chalin; Martijn Oostdijk et al.
244-262
Security Types for Dynamic Web Data
Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Jovanka Pantović
263-280
Anonymity Protocols as Noisy Channels
Konstantinos Chatzikokolakis; Catuscia Palamidessi; Prakash Panangaden
281-300
A Framework for Automatically Checking Anonymity with μCRL
Tom Chothia; Simona Orzan; Jun Pang; Mohammad Torabi Dashti
301-318
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 22 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings