Electronic Notes in Theoretical Computer Science, Volume 232

Volume 232, March 2009

• Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt:
  Preface. 1-3
  
• Peter G. Harrison, Soraya Zertal:
  Bus Modelling in Zoned Disks RAID Storage Systems. 5-16
  
• Federica Ciocchetta, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston:
  Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems. 17-38
  
• Paolo Ballarini, Tommaso Mazza, Alida Palmisano, Attila Csikasz-Nagy:
  Studying Irreversible Transitions in a Model of Cell Cycle Regulation. 39-53
  
• Maurizio Garelli, Marco Gribaudo:
  Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets. 55-73
  
• Nicholas J. Dingle, William J. Knottenbelt:
  Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens. 75-88
  
• Katja Gilly, Carlos Quesada-Granja, Salvador Alcaraz, Carlos Juiz, Ramón Puigjaner:
  A Statistically Customisable Web Benchmarking Tool. 89-99
  
• Rasha Osman, Irfan Awan, Michael E. Woodward:
  Application of Queueing Network Models in the Performance Evaluation of Database Designs. 101-124
  
• Tadeusz Czachórski, Jean-Michel Fourneau, Tomasz Nycz, Ferhan Pekergin:
  Diffusion Approximation Model of Multiserver Stations with Losses. 125-143
  
• Leïla Kloul:
  Performance Analysis of a Software Retrieval Service. 145-163
  
• Leonardo Brenner, Paulo Fernandes, Jean-Michel Fourneau, Brigitte Plateau:
  Modelling Grid5000 point availability with SAN. 165-178