|
|
Conferences in DBLP
- Ger Koole
Performance Analysis and Optimization in Customer Contact Centers. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:2-5 [Conf]
- Alexander Thomasian, Chunqi Han, Gang Fu, Chang Liu
A Performance Evaluation Tool for RAID Disk Arrays. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:8-17 [Conf]
- Michael Liljenstam, David M. Nicol
Comparing Passive and Active Worm Defenses. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:18-27 [Conf]
- Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko
Synthesis and Stochastic Assessment of Schedules for Lacquer Production. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:28-37 [Conf]
- Connie U. Smith, Catalina M. Lladó
Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:38-47 [Conf]
- Simona Bernardi, Javier Campos
On Performance Bounds for Interval Time Petri Nets. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:50-59 [Conf]
- Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva
On Observability in Timed Continuous Petri Net Systems. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:60-69 [Conf]
- Giacomo Bucci, Luigi Sassoli, Enrico Vicario
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:70-79 [Conf]
- José Incera, Gerardo Rubino
Bit-Level and Packet-Level, or Pollaczec-Khintchine Formulae Revisited. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:82-89 [Conf]
- Peter G. Harrison, Harf Zatschler
Sojourn Time Distributions in Modulated G-Queues with Batch Processing. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:90-99 [Conf]
- Armin Heindl, Qi Zhang, Evgenia Smirni
ETAQA Truncation Models for the MAP/MAP/1 Departure Process. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:100-109 [Conf]
- Gerardo Rubino, Martín Varela Irisa
A New Approach for the Prediction of End-to-End Performance of Multimedia Streams. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:110-119 [Conf]
- Michele Colajanni
Emerging Internet-Based Services: New Frontiers for Performance Models and Applications. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:122-123 [Conf]
- Peter Buchholz, William H. Sanders
Approximate Computation of Transient Results for Large Markov Chains. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:126-135 [Conf]
- Vinh Vi Lam, Peter Buchholz, William H. Sanders
A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:136-145 [Conf]
- Koushik Sen, Mahesh Viswanathan, Gul Agha
Learning Continuous Time Markov Chains from Sample Executions. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:146-155 [Conf]
- Bruno Tuffin
On Numerical Problems in Simulations of Highly Reliable Markovian Systems. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:156-164 [Conf]
- Gábor Horváth, Sándor Rácz, Árpád Tari, Miklós Telek
Evaluation of Reward Analysis Methods with MRMSolve 2.0. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:165-174 [Conf]
- Alma Riska, Erik Riedel, Sami Iren
Adaptive Disk Scheduling for Overload Management. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:176-185 [Conf]
- Daniel A. Menascé, Vasudeva Akula
Improving the Performance of Online Auction Sites through Closing Time Rescheduling. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:186-194 [Conf]
- Aad P. A. van Moorsel, Katinka Wolter
Analysis and Algorithms for Restart. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:195-204 [Conf]
- Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
Trading Memory for Randomness. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:206-217 [Conf]
- Jeremy Sproston, Susanna Donatelli
Backward Stochastic Bisimulation in CSL Model Checking. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:220-229 [Conf]
- Christel Baier, Marcus Größer, Frank Ciesinski
Partial Order Reduction for Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:230-239 [Conf]
- Pedro R. D'Argenio, Peter Niebert
Partial Order Reduction on Concurrent Probabilistic Programs. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:240-249 [Conf]
- David N. Jansen, Holger Hermanns
Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:250-259 [Conf]
- Andrew S. Miner, Shuxing Cheng
Improving Efficiency of Implicit Markov Chain State Classification. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:262-271 [Conf]
- Ming-Ying Chung, Gianfranco Ciardo
Saturation NOW. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:272-281 [Conf]
- Andrew S. Miner
Saturation for a General Class of Models. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:282-291 [Conf]
- Augusto Parma, Roberto Segala
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:294-303 [Conf]
- Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximate Reasoning for Real-Time Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:304-313 [Conf]
- Stefano Avallone, S. Guadagno, Donato Emma, Antonio Pescapè, Giorgio Ventre
D-ITG Distributed Internet Traffic Generator. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:316-317 [Conf]
- M. Arns, Markus Fischer, Carsten Tepper, Markus Völker
Visualization of Analysis Results in the ProC/B Toolset. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:318-319 [Conf]
- Guido Juckeland, Michael Kluge, Wolfgang E. Nagel, Stefan Pflüger
Performance Analysis with BenchIT: Portable, Flexible, Easy to Use. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:320-321 [Conf]
- Marta Z. Kwiatkowska, Gethin Norman, David Parker
PRISM 2.0: A Tool for Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:322-323 [Conf]
- Jean-Michel Ilié, Souheib Baarir, M. Beccuti, C. Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux
Extended SWN Solvers in GreatSPN. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:324-325 [Conf]
- Mohammad Abdollahi Azgomi, Ali Movaghar-Rahimabadi
Modeling and Evaluation with Object Stochastic Activity Networks. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:326-327 [Conf]
- Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, William H. Sanders
The Möbius Modeling Environment: Recent Developments. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:328-329 [Conf]
- Nicolas Markey, Ph. Schnoebelen
TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:330-331 [Conf]
- Giancarlo Ruffo, Rossano Schifanella, Matteo Sereno, Roberto Politi
WALTy: A tool for Evaluating Web Application Performance. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:332-333 [Conf]
- Jeremy T. Bradley, William J. Knottenbelt
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:334-335 [Conf]
- Alessandro Aldini, Marco Bernardo
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:336-337 [Conf]
- Gianfranco Ciardo, Andrew S. Miner
SMART: The Stochastic Model checking Analyzer for Reliability and Timing. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:338-339 [Conf]
- Moreno Marzolla, Simonetta Balsamo
UML-PSI: The UML Performance Simulator. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:340-341 [Conf]
- Vittorio Cortellessa, Michele Gentile, Marco Pizzuti
XPRIT: An XML-Based Tool to Translate UML Diagrams into Execution Graphs and Queueing Networks. [Citation Graph (0, 0)][DBLP]
QEST, 2004, pp:342-343 [Conf]
|
