Electronic Notes in Theoretical Computer Science, Volume 236

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