Abstract is missing.
- A Markovian Queueing System for Modeling a Smart Green Base StationIoannis Dimitriou, Sara Alouf, Alain Jean-Marie. 3-18 [doi]
- Static and Dynamic Hosting of Cloud ServersPaul D. Ezhilchelvan, Isi Mitrani. 19-31 [doi]
- Security and Performance Tradeoff Analysis of Mobile Offloading Systems Under Timing AttacksTianhui Meng, Katinka Wolter, Qiushi Wang. 32-46 [doi]
- Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3Laura Carnevali, Francesco Flammini, Marco Paolieri, Enrico Vicario. 47-62 [doi]
- Simplifying Layered Queuing Network ModelsFarhana Islam, Dorina C. Petriu, C. Murray Woodside. 65-79 [doi]
- Moment-Generating Algorithm for Response Time in Processor Sharing Queueing SystemsTiberiu S. Chis, Peter G. Harrison. 80-95 [doi]
- On Generalized Processor Sharing and Objective Functions: Analytical FrameworkJasper Vanlerberghe, Joris Walraevens, Tom Maertens, Stijn De Vuyst, Herwig Bruneel. 96-111 [doi]
- Comparing the Accuracy of Resource Demand Measurement and Estimation TechniquesFelix Willnecker, Markus Dlugi, Andreas Brunnert, Simon Spinner, Samuel Kounev, Wolfgang Gottesheim, Helmut Krcmar. 115-129 [doi]
- Estimating the Impact of Code Additions on Garbage Collection OverheadPeter Libic, Lubomír Bulej, Vojtech Horký, Petr Tuma. 130-145 [doi]
- Performance Awareness in Java EE Development EnvironmentsAlexandru Danciu, Alexander Chrusciel, Andreas Brunnert, Helmut Krcmar. 146-160 [doi]
- Canonical Form of Order-2 Non-stationary Markov Arrival ProcessesAndrás Mészáros, Miklós Telek. 163-176 [doi]
- Markov Decision Petri Nets with UncertaintyMarco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis. 177-192 [doi]
- On-the-fly Fluid Model Checking via Discrete Time Population ModelsDiego Latella, Michele Loreti, Mieke Massink. 193-207 [doi]
- Computing Response Time Distributions Using Iterative Probabilistic Model CheckingFreek van den Berg, Jozef Hooman, Arnd Hartmanns, Boudewijn R. Haverkort, Anne Remke. 208-224 [doi]
- iDSL: Automated Performance Prediction and Analysis of Medical Imaging SystemsFreek van den Berg, Anne Remke, Boudewijn R. Haverkort. 227-242 [doi]
- Stream Processing on Demand for Lambda ArchitecturesJohannes Kroß, Andreas Brunnert, Christian Prehofer, Thomas A. Runkler, Helmut Krcmar. 243-257 [doi]
- An AnyLogic Simulation Model for Power and Performance Analysis of Data CentresBjörn F. Postema, Boudewijn R. Haverkort. 258-272 [doi]
- Rare Event Simulation with Fully Automated Importance SplittingCarlos E. Budde, Pedro R. D'Argenio, Holger Hermanns. 275-290 [doi]
- Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model ReductionCheng Feng 0004, Jane Hillston. 291-305 [doi]