default search action
QEST 2004: Enschede, The Netherlands
- 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands. IEEE Computer Society 2004, ISBN 0-7695-2185-1
Invited Session
- Ger Koole:
Performance Analysis and Optimization in Customer Contact Centers. 2-5
Session I: Case Studies
- Alexander Thomasian, Chunqi Han, Gang Fu, Chang Liu:
A Performance Evaluation Tool for RAID Disk Arrays. 8-17 - Michael Liljenstam, David M. Nicol:
Comparing Passive and Active Worm Defenses. 18-27 - Henrik C. Bohnenkamp, Holger Hermanns
, Ric Klaren, Angelika Mader
Synthesis and Stochastic Assessment of Schedules for Lacquer Production. 28-37 - Connie U. Smith, Catalina M. Lladó:
Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation. 38-47
Session II: Time and Continuous Petri Nets
- Simona Bernardi
On Performance Bounds for Interval Time Petri Nets. 50-59 - Jorge Júlvez, Emilio Jiménez
On Observability in Timed Continuous Petri Net Systems. 60-69 - Giacomo Bucci, Luigi Sassoli, Enrico Vicario
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. 70-79
Session III: Queueing Theory
- José Incera, Gerardo Rubino:
Bit-Level and Packet-Level, or Pollaczec-Khintchine Formulae Revisited. 82-89 - Peter G. Harrison
Sojourn Time Distributions in Modulated G-Queues with Batch Processing. 90-99 - Armin Heindl, Qi Zhang, Evgenia Smirni:
ETAQA Truncation Models for the MAP/MAP/1 Departure Process. 100-109 - Gerardo Rubino, Martín Varela Irisa:
A New Approach for the Prediction of End-to-End Performance of Multimedia Streams. 110-119
Invited Session
- Michele Colajanni
Emerging Internet-Based Services: New Frontiers for Performance Models and Applications. 122-123
Session IV: Analysis, Simulation, and Synthesis of Markov Chains
- Peter Buchholz
Approximate Computation of Transient Results for Large Markov Chains. 126-135 - Vinh Vi Lam, Peter Buchholz
A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs. 136-145 - Koushik Sen, Mahesh Viswanathan, Gul Agha:
Learning Continuous Time Markov Chains from Sample Executions. 146-155 - Bruno Tuffin:
On Numerical Problems in Simulations of Highly Reliable Markovian Systems. 156-164 - Gábor Horváth, Sándor Rácz, Árpád Tari, Miklós Telek
Evaluation of Reward Analysis Methods with MRMSolve 2.0. 165-174
Session V: Scheduling and Optimization
- Alma Riska, Erik Riedel, Sami Iren:
Adaptive Disk Scheduling for Overload Management. 176-185 - Daniel A. Menascé, Vasudeva Akula:
Improving the Performance of Online Auction Sites through Closing Time Rescheduling. 186-194 - Aad P. A. van Moorsel, Katinka Wolter:
Analysis and Algorithms for Restart. 195-204
Invited Session
- Krishnendu Chatterjee
Trading Memory for Randomness. 206-217
Session VI: Model Checking
- Jeremy Sproston, Susanna Donatelli:
Backward Stochastic Bisimulation in CSL Model Checking. 220-229 - Christel Baier, Marcus Größer, Frank Ciesinski:
Partial Order Reduction for Probabilistic Systems. 230-239 - Pedro R. D'Argenio, Peter Niebert:
Partial Order Reduction on Concurrent Probabilistic Programs. 240-249 - David N. Jansen
Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? 250-259
Session VII: Symbolic Techniques
- Andrew S. Miner, Shuxing Cheng:
Improving Efficiency of Implicit Markov Chain State Classification. 262-271 - Ming-Ying Chung, Gianfranco Ciardo
Saturation NOW. 272-281 - Andrew S. Miner:
Saturation for a General Class of Models. 282-291
Session VIII: Semantics
- Augusto Parma, Roberto Segala
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes. 294-303 - Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximate Reasoning for Real-Time Probabilistic Processes. 304-313
Tool Papers
- Stefano Avallone
D-ITG Distributed Internet Traffic Generator. 316-317 - Markus Arns, Markus Fischer, Carsten Tepper, Markus Völker:
Visualization of Analysis Results in the ProC/B Toolset. 318-319 - Guido Juckeland
Performance Analysis with BenchIT: Portable, Flexible, Easy to Use. 320-321 - Marta Z. Kwiatkowska, Gethin Norman
PRISM 2.0: A Tool for Probabilistic Model Checking. 322-323 - Jean-Michel Ilié
Extended SWN Solvers in GreatSPN. 324-325 - Mohammad Abdollahi Azgomi
Modeling and Evaluation with Object Stochastic Activity Networks. 326-327 - Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, William H. Sanders:
The Möbius Modeling Environment: Recent Developments. 328-329 - Nicolas Markey, Philippe Schnoebelen:
TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems. 330-331 - Giancarlo Ruffo
WALTy: A tool for Evaluating Web Application Performance. 332-333 - Jeremy T. Bradley, William J. Knottenbelt:
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models. 334-335 - Alessandro Aldini
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. 336-337 - Gianfranco Ciardo
SMART: The Stochastic Model checking Analyzer for Reliability and Timing. 338-339 - Moreno Marzolla
UML-PSI: The UML Performance Simulator. 340-341 - Vittorio Cortellessa, Michele Gentile, Marco Pizzuti:
XPRIT: An XML-Based Tool to Translate UML Diagrams into Execution Graphs and Queueing Networks. 342-343
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: