WOSP 2005: Palma, Illes Balears, Spain

• C. Murray Woodside, Dorina C. Petriu, Dorin Bogdan Petriu, Hui Shen, Toqeer Israr, José Merseguer:
  Performance by unified model analysis (PUMA). 1-12
  
• Holger Hermanns, David N. Jansen, Yaroslav S. Usenko:
  From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. 13-23
  
• Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta:
  From design to analysis models: a kernel language for performance and reliability analysis of component-based systems. 25-36
  
• Simonetta Balsamo, Moreno Marzolla:
  Performance evaluation of UML software architectures with multiclass Queueing Network models. 37-42
  
• Alberto Avritzer, Andre B. Bondi, Elaine J. Weyuker:
  Ensuring stable performance for systems that degrade. 43-51
  
• Monchai Sopitkamol, Daniel A. Menascé:
  A method for evaluating the impact of software configuration parameters on e-commerce sites. 53-64
  
• Mauro Caporuscio, Antinisca Di Marco, Paola Inverardi:
  Run-time performance management of the Siena publish/subscribe middleware. 65-74
  
• Andrea D'Ambrogio:
  A model transformation framework for the automated building of performance models from UML models. 75-86
  
• Connie U. Smith, Catalina M. Lladó, Vittorio Cortellessa, Antinisca Di Marco, Lloyd G. Williams:
  From UML models to software performance results: an SPE process based on XML interchange formats. 87-98
  
• Gordon Ping Gu, Dorina C. Petriu:
  From UML to LQN by XML algebra-based model transformations. 99-110
  
• Zakarya Alzamil, Bogdan Korel:
  Application of redundant computation in software performance analysis. 111-121
  
• Haleh Najafzadeh, Seth Chaiken:
  Towards a framework for source code instrumentation measurement validation. 123-130
  
• Dean S. Hoskins, Charles J. Colbourn, Douglas C. Montgomery:
  Software performance testing using covering arrays: efficient screening designs with categorical factors. 131-136
  
• Tom Verdickt, Wim Van de Meerssche, Koert Vlaeminck:
  Modeling the performance of a NAT/firewall network service for the IXP2400. 137-144
  
• Mariela Curiel, M. Angélica Pérez, Ricardo González:
  Applying SPE techniques for modeling a grid-enabled JAVA platform. 145-146
  
• Tauseef A. Israr, Danny H. Lau, Greg Franks, C. Murray Woodside:
  Automatic generation of layered queuing software performance models from commonly available traces. 147-158
  
• Tariq Omari, Greg Franks, C. Murray Woodside, Amy Pan:
  Solving layered queueing networks of large client-server systems with symmetric replication. 159-166
  
• Christian Kurz, Carlos Guerrero, Günter Haring:
  Extending TPC-W to allow for fine grained workload specification. 167-174
  
• Raúl Peña-Ortiz, Julio Sahuquillo, Ana Pont, José A. Gil:
  Modeling continuous changes of the user's dynamic behavior in the WWW. 175-180
  
• Tao Zheng, C. Murray Woodside:
  Fast estimation of probabilities of soft deadline misses in layered software performance models. 181-186
  
• Jerònia Rosselló, Catalina M. Lladó, Ramón Puigjaner, Connie U. Smith:
  A web service for solving queuing network models using PMIF. 187-192
  
• Pere P. Sancho, Carlos Juiz, Ramón Puigjaner:
  Automatic performance evaluation and feedback for MASCOT designs. 193-194
  
• Vittorio Cortellessa:
  How far are we from the definition of a common software performance ontology? 195-204
  
• Isaac Lera, Carlos Juiz, Ramón Puigjaner, Christian Kurz, Günter Haring, Joachim Zottl:
  Performance assessment on ambient intelligent applications through ontologies. 205-216
  
• Vibhu Saujanya Sharma, Kishor S. Trivedi:
  Architecture based analysis of performance, reliability and security of software systems. 217-227
  
• Jerry Rolia, Ludmila Cherkasova, Martin F. Arlitt, Artur Andrzejak:
  A capacity management service for resource pools. 229-237
  
• Nasim Mahmood, Yusheng Feng, James C. Browne:
  Evolutionary performance-oriented development of parallel programs by composition of components. 239-248
  
• Ching-Farn Eric Wu, William P. Horn:
  A J2EE application for process accounting, LPAR accounting, and transaction accounting. 249-256
  
• Ceryen Tan, Kevin Mills:
  Performance characterization of decentralized algorithms for replica selection in distributed object systems. 257-262
  
• Yong Feng, Yan-yuan Zhang, Rui-yong Jia:
  EPYFQ: a novel scheduling algorithm for performance virtualization in shared storage environment. 263-264
  
• Michael Rosen:
  An overview of model driven architecture (MDA®) - invited talk abstract. 265
  
• Andrew Hanushevsky, Bill Weeks:
  Designing high performance data access systems - invited talk abstract. 267
  
• Michel Turin:
  Safety critical software development for space application - invited talk abstract. 269