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