Abstract is missing.
- Project AEOLUS: An OverviewChristos Kaklamanis. 1-9 [doi]
- MOBIUS: Mobility, Ubiquity, SecurityGilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard. 10-29 [doi]
- SensoriaProcess Calculi for Service-Oriented ComputingMartin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro. 30-50 [doi]
- Global Grids - Making a Case for Self-organization in Large-Scale Overlay NetworksTorsten Eymann, Werner Streitberger, Sebastian Hudert. 51-68 [doi]
- Software of the Future Is the Future of Software?Paola Inverardi. 69-85 [doi]
- An Algorithmic Theory of Mobile AgentsEvangelos Kranakis, Danny Krizanc. 86-97 [doi]
- Spatial-Behavioral Types, Distributed Services, and ResourcesLuís Caires. 98-115 [doi]
- Integration of a Security Type System into a Program LogicReiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter. 116-131 [doi]
- PRISMA: A Mobile Calculus with Parametric SynchronizationRoberto Bruni, Ivan Lanese. 132-149 [doi]
- On Bisimulation Proofs for the Analysis of Distributed Abstract MachinesDamien Pous. 150-166 [doi]
- A Typed Calculus for Querying Distributed XML DocumentsLucia Acciai, Michele Boreale, Silvano Dal-Zilio. 167-182 [doi]
- Verification of Model Transformations: A Case Study with BPELLuciano Baresi, Karsten Ehrig, Reiko Heckel. 183-199 [doi]
- A Fuzzy Approach for Negotiating Quality of ServicesDavide Bacciu, Alessio Botta, Hernán C. Melgratti. 200-217 [doi]
- Scheduling to Maximize ParticipationIoannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Evi Papaioannou. 218-232 [doi]
- On the Limits of Cache-Oblivious Matrix TranspositionFrancesco Silvestri. 233-243 [doi]
- The KOA Remote Voting System: A Summary of Work to DateJoseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers. 244-262 [doi]
- Security Types for Dynamic Web DataMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic. 263-280 [doi]
- Anonymity Protocols as Noisy ChannelsKonstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. 281-300 [doi]
- A Framework for Automatically Checking Anonymity with ::::mu:::: CRLTom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti. 301-318 [doi]
- A Framework for Type Safe Exchange of Mobile CodeSonia Fagorzi, Elena Zucca. 319-338 [doi]