Volume 236, April 2009

Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures (VODCA 2008), Bertinoro, Italy, 30-31 August 2008

• 
  Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci: Preface. 1-3
• 
  Dénes Bisztray, Reiko Heckel, Hartmut Ehrig: Compositionality of Model Transformations. 5-19
• 
  Rogério de Lemos: On Architecting Software Fault Tolerance using Abstractions. 21-32
• 
  Carsten Rudolph, Nicolai Kuntze, Zaharina Velikova: Secure Web Service Workflow Execution. 33-46
• 
  Gabriele Lenzini: Design of Architectures for Proximity-aware Services: Experiments in Context-based Authentication with Subjective Logic. 47-64
• 
  Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci: Towards Information Flow Properties for Distributed Systems. 65-84
• 
  Fabrizio Baiardi, Dario Maggiari, Daniele Sgandurra, Francesco Tamberi: Transparent Process Monitoring in a Virtual Environment. 85-100
• 
  Andres Flores, Macario Polo: Testing-based Process for Evaluating Component Replaceability. 101-115
• 
  Antonio Bucchiarone, Greg Dennis, Stefania Gnesi: A Graph-based Design Framework for Global Computing Systems. 117-130
• 
  Antonio Fariña, Susana Ladra, Oscar Pedreira, Ángeles S. Places: Rank and Select for Succinct Data Structures. 131-145
• 
  Stefano Bistarelli, Francesco Santini: A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation. 147-162
• 
  Jurriaan Hage, Bastiaan Heeren: Strategies for Solving Constraints in Type and Effect Systems. 163-183