Electronic Notes in Theoretical Computer Science, Volume 261

Volume 261, February 2010

• Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder:
  Preface. 1-4
  
• Katinka Wolter, Philipp Reinecke:
  Stochastic Models for Dependable Services. 5-21
  
• Michael D. Harrison, Mieke Massink:
  Modelling Interactive Experience, Function and Performance in Ubiquitous Systems. 23-42
  
• Federica Ciocchetta, Jane Hillston:
  Bio-PEPA for Epidemiological Models. 43-69
  
• Joris Slegers:
  A Langevin Interpretation of PEPA Models. 71-89
  
• Pietro Piazzolla, Marco Gribaudo:
  Analysis of Television and Cinema Productions using Mean Field Models. 91-108
  
• Jorrit Schippers, Anne Remke, Henk Punt, Maarten Wegdam, Boudewijn R. Haverkort:
  A Massively Scalable Architecture For Instant Messaging & Presence. 109-130
  
• Maria Estrella Sousa Vieira, Andrés Suárez-González, Raúl Fernando Rodríguez Rubio, Cándido López-García:
  Flexible adjustment of the short-term correlation of LRD M/G/ INFINITY -based processes. 131-145
  
• Gábor Imre, M. Kaszó, Tihamer Levendovszky, Hassan Charaf:
  A Novel Cost Model of XML Serialization. 147-162
  
• Sofia K. Dimitriadou, Helen D. Karatza:
  Multi-Site Allocation Policies on a Grid and Local Level. 163-179
  
• Diego Perez-Palacin, José Merseguer:
  Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets. 181-201