1. Home
  2. Proceedings
  3. QEST
  4. QEST 2006
Default Cover Image

Third International Conference on the Quantitative Evaluation of Systems

Sept. 11 2006 to Sept. 14 2006

Riverside, CA

Table of Contents

Introduction
Message from the General ChairFreely available from IEEE.pp. x
Papers
Technical Program CommitteeFreely available from IEEE.pp. xiv-xiv
Papers
Message from the Program Committee ChairsFreely available from IEEE.pp. xi-xi
Third International Conference on the Quantitative Evaluation of Systems - TitleFreely available from IEEE.pp. i-iii
Third International Conference on the Quantitative Evaluation of Systems - CopyrightFreely available from IEEE.pp. iv-iv
Third International Conference on the Quantitative Evaluation of Systems - Table of contentsFreely available from IEEE.pp. v-ix
list-reviewerFreely available from IEEE.pp. xv-xv
Invited Talk
Causality, Responsibility, and Blame: A Structural-Model ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 3-8
by Joseph Y. Halpern
Session 1.1: Measurements
Behavior of Available End-to-end Bandwidth: Non-Parametric ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 9-18
by Ning Xi, S. Levental, M. Mutka, A. Chobanyan
Continuous Bytecode Instruction Counting for CPU Consumption EstimationFull-text access may be available. Sign in or learn about subscription options.pp. 19-30
by Walter Binder, Jarle Hulaas, Andrea Camesi
Toolbox for Dimensioning Windows Storage SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 31-40
by Claude Timsit, Jalil Boukhobza
Session 1.2: Storage Systems
Long-Range Dependence at the Disk Drive LevelFull-text access may be available. Sign in or learn about subscription options.pp. 41-50
by Alma Riska, Erik Riedel
Session 1.2: Storage Systems
Rate-Controlled Scheduling of Expired Writes for Volatile CachesFull-text access may be available. Sign in or learn about subscription options.pp. 51-62
by Seetharami R. Seelam, Jayaraman Suresh Babu, Patricia J. Teller
Session 1.3: Network Models
A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networksFull-text access may be available. Sign in or learn about subscription options.pp. 63-72
by Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
Performance Anlysis of Delay Tolerant Networks with Model Checking TechniquesFull-text access may be available. Sign in or learn about subscription options.pp. 73-82
by Marco Gribaudo, Michele Garetto
Session 1.3: Network Models
Measuring and Modeling of Application Flow Length in Commercial GPRS NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 83-92
by Roger Kalden, Boudewijn R. Haverkort
Session 1.3: Network Models
Modeling Fiber Delay Loops in an All Optical SwitchFull-text access may be available. Sign in or learn about subscription options.pp. 93-102
by J.-M. Fourneau, M.B. Mamoun, A. Busic
Session 1.3: Network Models
Layered Bottlenecks and Their MitigationFull-text access may be available. Sign in or learn about subscription options.pp. 103-114
by P. Tregunno, Jing Xu, M. Woodside, D. Petriu, G. Franks
Session 1.4: Tools
QPME - Queueing Petri Net Modeling EnvironmentFull-text access may be available. Sign in or learn about subscription options.pp. 115-116
by Samuel Kounev, Christofer Dutz, Alejandro Buchmann
Session 1.4: Tools
Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0Full-text access may be available. Sign in or learn about subscription options.pp. 117-118
by Michael Knoke, Armin Zimmermann
Session 1.4: Tools
Java Modelling Tools: an Open Source Suite for Queueing Network Modelling andWorkload AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 119-120
by Marco Bertoli, Giuliano Casale, Giuseppe Serazzi
Session 1.4: Tools
A PMIF Semantic Validation ToolFull-text access may be available. Sign in or learn about subscription options.pp. 121-122
by Daniel Garcia, Catalina M. Llado, Connie U. Smith, Ramon Puigjaner
Session 1.4: Tools
Time Petri Nets Analysis with TINAFull-text access may be available. Sign in or learn about subscription options.pp. 123-124
by Bernard Berthomieu, Francois Vernadat
Session 1.4: Tools
UPPAAL 4.0Full-text access may be available. Sign in or learn about subscription options.pp. 125-126
by M. Hendriks, Wang Yi, P. Petterson, J. Hakansson, K.G. Larsen, A. David, G. Behrmann, M. Hendriks, Wang Yi, P. Petterson, J. Hakansson, K.G. Larsen, A. David, G. Behrmann
Analysis of Real Time Systems through the ORIS ToolFull-text access may be available. Sign in or learn about subscription options.pp. 127-128
by E. Vicario, L. Sassoli
Session 1.4: Tools
APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov ChainsFull-text access may be available. Sign in or learn about subscription options.pp. 129-130
by Thomas Herault, Richard Lassaigne, Sylvain Peyronnet
Session 1.4: Tools
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 131-132
by Frank Ciesinski, Christel Baier
Session 1.4: Tools
MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri NetsFull-text access may be available. Sign in or learn about subscription options.pp. 133-134
by Jose M. Martinez, Boudewijn R. Haverkort
Session 1.4: Tools
Traviando - Debugging Simulation Traces with Message Sequence ChartsFull-text access may be available. Sign in or learn about subscription options.pp. 135-136
by Peter Kemper, Carsten Tepper
Data Analysis and Visualization within the M ¨ obius Modeling EnvironmentFull-text access may be available. Sign in or learn about subscription options.pp. 137-138
by William H. Sanders, Eric Rozier, Michael McQuinn, Vinh Lam, Mark Griffith, Shravan Gaonkar, Tod Courtney
Session 1.4: Tools
Integration of an MPS Modeling Approach into MobiusFull-text access may be available. Sign in or learn about subscription options.pp. 139-140
by F. Squittieri, P. Lollini, S. Chiaradonna, A. Bondavalli
Session 1.4: Tools
PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded ProcessorsFull-text access may be available. Sign in or learn about subscription options.pp. 141-144
by Matthew Curtis-Maury, Dimitrios S. Nikolopoulos, Christos D. Antonopoulos
Invited Talk
Modeling and Optimization Problems in Contact CentersFull-text access may be available. Sign in or learn about subscription options.pp. 145-156
by Pierre L'Ecuyer
Session 2.1: Markov Decision Processes
Game-based Abstraction for Markov Decision ProcessesFull-text access may be available. Sign in or learn about subscription options.pp. 157-166
by Marta Kwiatkowska, Gethin Norman, David Parker
Session 2.1: Markov Decision Processes
Compositional Performability Evaluation for STATEMATEFull-text access may be available. Sign in or learn about subscription options.pp. 167-178
by Eckard Bode, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker
Session 2.2: Model Checking
Compositional Quantitative ReasoningFull-text access may be available. Sign in or learn about subscription options.pp. 179-188
by Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Marielle Stoelinga
Session 2.2: Model Checking
Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding DistributionsFull-text access may be available. Sign in or learn about subscription options.pp. 189-198
by Mouad Ben Mamoun, Nihal Pekergin, Sana Younes
CSL Model Checking for Generalized Stochastic Petri NetsFull-text access may be available. Sign in or learn about subscription options.pp. 199-210
by Jeremy Sproston, Andras Horvath, Susanna Donatelli, Davide Cerotti
Efficient lumpability check in partially symmetric systemsFull-text access may be available. Sign in or learn about subscription options.pp. 211-220
by J.-M. Ilie, S. Baarir, G. Franceschinis, M. Beccuti
Session 2.3: Lumpability
Lumping Markov Chains with Silent StepsFull-text access may be available. Sign in or learn about subscription options.pp. 221-232
by J. Markovski, N. Trcka
Session 2.4: Markov Models
Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis TechniquesFull-text access may be available. Sign in or learn about subscription options.pp. 233-242
by Peter Buchholz, Peter Kemper
Session 2.4: Markov Models
Bound-Preserving Composition for Markov Reward ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 243-252
by David Daly, Peter Buchholz, William H. Sanders
Session 2.4: Markov Models
Limiting Behavior of Markov Chains with Eager AttractorsFull-text access may be available. Sign in or learn about subscription options.pp. 253-264
by P.A. Abdulla, N.B. Henda, S. Sandberg, R. Mayr
Invited Talk
Designing and managing storage systems: issues, techniques, and challengesFull-text access may be available. Sign in or learn about subscription options.pp. 265-268
by Arif Merchant
Session 3.1: Optimization in Networks
Optimization of Cache Expiration Dates in Content NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 269-278
by Hector Cancela, Pablo Rodríguez-Bocca
Session 3.1: Optimization in Networks
Optimal Static Pricing of Reverse-Link DS-CDMA Multiclass TrafficFull-text access may be available. Sign in or learn about subscription options.pp. 279-290
by Yezekael Hayel, Victor M. Ramos R., Bruno Tuffin
Session 3.2: Reachability
Strategy Improvement for Concurrent Reachability GamesFull-text access may be available. Sign in or learn about subscription options.pp. 291-300
by Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
Session 3.2: Reachability
Safe On-The-Fly Steady-State Detection for Time-Bounded ReachabilityFull-text access may be available. Sign in or learn about subscription options.pp. 301-310
by Joost-Pieter Katoen, Ivan S. Zapreev
Session 3.2: Reachability
Probably on Time and within BudgetOn Reachability in Priced Probabilistic Timed AutomataFull-text access may be available. Sign in or learn about subscription options.pp. 311-322
by Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen
A tool support for automatic analysis based on the tagged customer approachFull-text access may be available. Sign in or learn about subscription options.pp. 323-332
by Miklos Telek, Sandor Racz, Gabor Horvath, Levente Bodrog
On Single-Class Load-Dependent Normalizing Constant EquationsFull-text access may be available. Sign in or learn about subscription options.pp. 333-342
by Giuliano Casale
Session 3.3: Queuing
Exploring correctness and accuracy of solutions to matrix polynomial equations in queuesFull-text access may be available. Sign in or learn about subscription options.pp. 343-352
by David Thornley, Harf Zatschler
Session 3.3: Queuing
Threshold Workload Control in the BMAP/G/1 QueueFull-text access may be available. Sign in or learn about subscription options.pp. 353-364
by Ho Woo Lee, Jung Woo Baek
Session 3.4: Server Systems
Identifying Low-ProfileWeb Server's IP FingerprintFull-text access may be available. Sign in or learn about subscription options.pp. 365-374
by Mengjun Xie, Keywan Tabatabai, Haining Wang
The Fast and the Fair: A Fault-Injection-Driven Comparison of Restart Oracles for Reliable Web ServicesFull-text access may be available. Sign in or learn about subscription options.pp. 375-384
by Katinka Wolter, Aad P. A. van Moorsel, Philipp Reinecke
Session 3.4: Server Systems
Load Balancing for Performance Differentiation in Dual-Priority Clustered ServersFull-text access may be available. Sign in or learn about subscription options.pp. 385-394
by Ningfang Mi, Qi Zhang, Alma Riska, Evgenia Smirni
Author Index
Author IndexFreely available from IEEE.pp. 395
Showing 57 out of 57