Electronic Notes in Theoretical Computer Science, Volume 236

Volume 236, April 2009

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