Abstract is missing.
- Modeling and Experimenting with Vehicular Congestion for Distributed Advanced Traveler Information SystemsMarco Roccetti, Gustavo Marfia. 1-16 [doi]
- Application of Advanced Model-Driven Techniques in Performance EngineeringLucia Kapová, Ralf Reussner. 17-36 [doi]
- A New Markov-Based Mobility Prediction Algorithm for Mobile NetworksSamir Bellahsene, Leïla Kloul. 37-50 [doi]
- Performance Aware Reconfiguration of Software SystemsMoreno Marzolla, Raffaela Mirandola. 51-66 [doi]
- On the Energy-Performance Tradeoff for Parallel ApplicationsShikharesh Majumdar. 67-82 [doi]
- A Framework for Relating Timed Transition Systems and Preserving TCTL Model CheckingLasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba. 83-98 [doi]
- Continuous Time and/or Continuous DistributionsJoseph Assouramou, Josée Desharnais. 99-114 [doi]
- Model Checking Markov Chains Using Krylov Subspace Methods: An Experience ReportFalko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen. 115-130 [doi]
- A Markovian Agent Model for Fire Propagation in Outdoor EnvironmentsDavide Cerotti, Marco Gribaudo, Andrea Bobbio, Carlos Miguel Tavares Calafate, Pietro Manzoni. 131-146 [doi]
- Queueing Network Models for Performance Evaluation of ZigBee-Based WSNsPatrick Bellasi, Adnan Faisal, William Fornaciari, Giuseppe Serazzi. 147-159 [doi]
- Performance Modeling and Analysis of the Universal Control HubElena Gómez-Martínez, José Merseguer. 160-174 [doi]
- Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck RegrowingRicardo J. Rodríguez, Jorge Júlvez. 175-190 [doi]
- A Numerical Algorithm for the Solution of Product-Form Models with Infinite State SpacesSimonetta Balsamo, Gian-Luca Dei Rossi, Andrea Marin. 191-206 [doi]
- State-Dependent Rates and Semi-Product-Form via the Reversed ProcessNigel Thomas, Peter Harrison. 207-218 [doi]
- Predictive Modelling of Peer-to-Peer Event-Driven Communication in Component-Based SystemsChristoph Rathfelder, David Evans, Samuel Kounev. 219-235 [doi]
- A Component-Based Solution Method for Non-ergodic Markov Regenerative ProcessesElvio Gilberto Amparore, Susanna Donatelli. 236-251 [doi]
- Compositional Abstraction of PEPA Models for Transient AnalysisMichael J. A. Smith. 252-267 [doi]
- Composing Systems While Preserving ProbabilitiesSonja Georgievska, Suzana Andova. 268-283 [doi]