![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
TGC 2006: Lucca, Italy
- Ugo Montanari, Donald Sannella, Roberto Bruni:
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4661, Springer 2007, ISBN 978-3-540-75333-9
FP6 Project Overviews
- Christos Kaklamanis:
Project AEOLUS: An Overview. 1-9 - Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark
, Eric Vétillard:
MOBIUS: Mobility, Ubiquity, Security. 10-29 - Martin Wirsing, Rocco De Nicola
, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro:
SensoriaProcess Calculi for Service-Oriented Computing. 30-50 - Torsten Eymann, Werner Streitberger, Sebastian Hudert:
Global Grids - Making a Case for Self-organization in Large-Scale Overlay Networks. 51-68
Keynote Speakers
- Paola Inverardi:
Software of the Future Is the Future of Software? 69-85 - Evangelos Kranakis, Danny Krizanc:
An Algorithmic Theory of Mobile Agents. 86-97
Types to Discipline Interactions
- Luís Caires:
Spatial-Behavioral Types, Distributed Services, and Resources. 98-115 - Reiner Hähnle
, Jing Pan, Philipp Rümmer, Dennis Walter:
Integration of a Security Type System into a Program Logic. 116-131
Calculi for Distributed Systems
- Roberto Bruni, Ivan Lanese:
PRISMA: A Mobile Calculus with Parametric Synchronization. 132-149 - Damien Pous
:
On Bisimulation Proofs for the Analysis of Distributed Abstract Machines. 150-166 - Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
:
A Typed Calculus for Querying Distributed XML Documents. 167-182
Flexible Modeling
- Luciano Baresi, Karsten Ehrig, Reiko Heckel:
Verification of Model Transformations: A Case Study with BPEL. 183-199 - Davide Bacciu, Alessio Botta, Hernán C. Melgratti:
A Fuzzy Approach for Negotiating Quality of Services. 200-217
Algorithms and Systems for Global Computing
- Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Evi Papaioannou:
Scheduling to Maximize Participation. 218-232 - Francesco Silvestri:
On the Limits of Cache-Oblivious Matrix Transposition. 233-243 - Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers:
The KOA Remote Voting System: A Summary of Work to Date. 244-262
Security, Anonymity and Type Safety
- Mariangiola Dezani-Ciancaglini
, Silvia Ghilezan, Jovanka Pantovic:
Security Types for Dynamic Web Data. 263-280 - Konstantinos Chatzikokolakis, Catuscia Palamidessi
, Prakash Panangaden:
Anonymity Protocols as Noisy Channels. 281-300 - Tom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti:
A Framework for Automatically Checking Anonymity with mu CRL. 301-318 - Sonia Fagorzi, Elena Zucca:
A Framework for Type Safe Exchange of Mobile Code. 319-338
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.