|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 193 occurrences of 142 keywords
|
|
|
Results
Found 648 publication records. Showing 648 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Peter Buchholz 0001, Jan Kriege |
Aggregation of Markovian Models - An Alternating Least Squares Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 43-52, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michele Boreale, Francesca Pampaloni |
Quantitative Multirun Security under Active Adversaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 158-167, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael Benedikt, Rastislav Lenhardt, James Worrell 0001 |
Verification of Two-Variable Logic Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 114-123, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund |
Static Partial Order Reduction for Probabilistic Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 104-113, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yang Zhao 0011, Gianfranco Ciardo |
A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 74-83, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michele Bugliesi, Lucia Gallina, Andrea Marin, Sabina Rossi, Sardaouna Hamadou |
Interference-Sensitive Preorders for MANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 189-198, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vinodh Venkatesan, Ilias Iliadis |
A General Reliability Model for Data Storage Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, pp. 209-219, 2012, IEEE Computer Society, 978-1-4673-2346-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Gethin Norman, David Parker 0001, Björn Wachter, Lijun Zhang 0001 |
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 69-78, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
probabilistic hybrid systems, probabilistic reachability, long-run average, abstraction refinement, stochastic games, controller synthesis |
1 | Laura Aspirot, Ernesto Mordecki, Gerardo Rubino |
Fluid Limits Applied to Peer to Peer Network Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 13-20, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
BitTorrent, fluid limits, mean fields |
1 | Peter Buchholz 0001, Miklós Telek |
Composition and Equivalence of Markovian and Non-Markovian Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 213-222, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Rational Processes, Aggregation, Markov Models, Equivalence, Compositional Modeling |
1 | |
Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![IEEE Computer Society, 978-1-4577-0973-9 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Rena Bakhshi, Daniela Gavidia, Wan J. Fokkink, Maarten van Steen |
A Modeling Framework for Gossip-based Information Spread. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 245-254, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
dependable gossiping, performance evaluation, formal modelling, large-scale networks, gossip protocols, experimental validation |
1 | Michael J. A. Smith, Flemming Nielson, Hanne Riis Nielson |
Controlling Modelling Artifacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 171-180, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Wireless Sensor Networks, Abstraction, Performance Modelling, Model Validation |
1 | Benny Van Houdt |
Performance Comparison of Aggressive Push and Traditional Pull Strategies in Large Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 265-274, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chunyan Mu, David Clark 0001 |
A Tool: Quantitative Analyser for Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 145-146, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
security, measurement, tool, language, flow |
1 | Raluca Halalai, Thomas A. Henzinger, Vasu Singh |
Quantitative Evaluation of BFT Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 255-264, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
BFT protocols, performance evaluation, model checking |
1 | Luca Bortolussi |
Hybrid Limits of Continuous Time Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 3-12, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Fluid Approximation, Piecewise Smooth Dynamical Systems, Discontinuous Rate Functions, Hybrid Systems, Mean Field |
1 | Giuliano Casale, Mirco Tribastone |
Fluid Analysis of Queueing in Two-Stage Random Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 21-30, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mark Timmer |
SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 149-150, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
SCOOP, probabilistic process algebra, data-dependent probabilistic choice, symbolic optimisations, state space reduction, linearisation |
1 | Axel Schröpfer, Florian Kerschbaum |
Forecasting Run-Times of Secure Two-Party Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 181-190, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Security, Performance Model, Multi-party Computation |
1 | Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley |
GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 147-148, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Fluid analysis, Scalability, Optimisation, Tool |
1 | Polyvios Tsirimpas, William J. Knottenbelt |
SPORTSBET: A Tool for the Quantitative Evaluation and Execution of Betting Exchange Trading Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 155-156, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
betting exchange, strategy, trading |
1 | Jeremy Sproston |
Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 79-88, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Markov decision processes, probabilistic model checking, hybrid automata, stochastic games, controller synthesis |
1 | Geoffrey Smith 0001 |
Quantifying Information Flow Using Min-Entropy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 159-167, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martin Schwarick, Monika Heiner, Christian Rohr |
MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 91-100, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Interval Decision Diagram, Continuous Stochastic Logic, Fast Adaptive Uniformization, Model Checking, Stochastic Simulation, Continuous Time Markov Chain, Generalized Stochastic Petri Net, Rewards, Computation Tree Logic |
1 | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate |
Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 59-68, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Stochastic Hybrid Systems, Reachability and Safety, Approximations, Markov Chains, Abstractions |
1 | Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis |
Probe Automata for Passage Time Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 101-110, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
passage time, Markov chains, GSPN |
1 | David Daly, Parijat Dube, Kaoutar El Maghraoui, Dan E. Poff, Li Zhang 0002 |
A Hybrid Approach for Large Cache Performance Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 47-56, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
large caches, traces, counters, analytical performance modeling |
1 | Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan 0001, Gul Agha, YoungMin Kwon |
Model Checking MDPs with a Unique Compact Invariant Set of Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 121-130, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Model Checking, Semantics, Markov Decision Processes, Probability Distributions |
1 | Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen |
Learning Probabilistic Automata for Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 111-120, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Probabilistic Linear Time Temporal Logic, Model Checking, Learning, Probabilistic Automata |
1 | Lothar Thiele |
Temperature-aware Real-Time Scheduling - Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 33-34, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
temperature analysis, temperature guarantee, real-time systems, multiprocessor systems |
1 | Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski |
APAC: A Tool for Reasoning about Abstract Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 151-152, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. A. Smith |
Compositional Abstractions for Long-Run Properties of Stochastic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 223-232, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Stochastic Bounds, Compositional Abstraction, Performance Evaluation, Stochastic Process Algebra |
1 | Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu 0001 |
Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 203-212, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
unconditional fairness, Markov decision processes, partial order reduction, Probabilistic model checking |
1 | András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario |
Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 131-140, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Generalized Semi-Markov Process, Non-Markovian Stochastic Petri net, stochastic state class, DBM zones, probabilistic model checking |
1 | Elizabeth LeMay, Michael D. Ford, Ken Keefe, William H. Sanders, Carol Muehrcke |
Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE). ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 191-200, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Quantitative Security Metrics, State-based Security Model, Adversary Attack Decisions |
1 | Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin |
COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 143-144, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Statistical Model Checking, Discrete Event Stochastic Processes, Stochastic Logic, Hybrid Automata |
1 | Parijat Dube, Seetharami Seelam, Yanbin Liu, Megumi Ito, Thomas Ling, Michel Hack, Liana Fong, Graeme Johnson, Michael Dawson 0001, Li Zhang 0002, Yuqing Gao |
A Tool for Scalable Profiling and Tracing of Java and Native Code Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 37-46, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Java native, light weight tracing, thread management, commercial benchmarks, memory management |
1 | Laura Carnevali, Lorenzo Ridi, Enrico Vicario |
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 153-154, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
symbolic state-space enumeration, preemptive Time Petri Net, non-Markovian Stochastic Petri Net, quantitative evaluation, Correctness verification, stochastic Time Petri Net |
1 | Douglas Eskins, William H. Sanders |
The Multiple-Asymmetric-Utility System Model: A Framework for Modeling Cyber-Human Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 233-242, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Quantitative Security Model, State-based Security Model, Cyber-Human Systems, Human Decision Points |
1 | Adetokunbo Makanju, Nur Zincir-Heywood, Evangelos E. Milios |
An Evaluation of Entropy Based Approaches to Alert Detection in High Performance Cluster Logs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 69-78, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Joseph L. Hellerstein |
The Role of Quantitative Models in Building Scalable Cloud Infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 3, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin R. Neuhäußer, Lijun Zhang 0001 |
Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 209-218, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jayanand Asok Kumar, Shobha Vasudevan |
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 143-152, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ana Busic, Bruno Gaujal, Gaël Gorgo, Jean-Marc Vincent |
PSI2: Envelope Perfect Sampling of Non Monotone Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 83-84, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | András Horváth, Lorenzo Ridi, Enrico Vicario |
Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 231-240, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jasper Berendsen, David N. Jansen, Frits W. Vaandrager |
Fortuna: Model Checking Priced Probabilistic Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 273-281, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Elvio Gilberto Amparore, Susanna Donatelli |
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 79-80, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. A. Smith |
Abstraction and Model Checking in the PEPA Plug-In for Eclipse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 155-156, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | William H. Sanders |
Quantitative Evaluation of Security Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 306, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jens Happe, Henning Groenda, Michael Hauck 0001, Ralf H. Reussner |
A Prediction Model for Software Performance in Symmetric Multiprocessing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 59-68, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Wimmer 0001, Bettina Braitling, Bernd Becker 0001, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel |
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 27-36, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Xin Zhang, Franck van Breugel |
Model Checking Randomized Algorithms with Java PathFinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 157-158, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Pinzger 0002, Gabriele Kotsis |
AWPS - Simulation Based Automated Web Performance Analysis and Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 191-192, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Trivedi 0001, Dominik Wojtczak |
Timed Branching Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 219-228, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort |
Rare Event Simulation for Highly Dependable Systems with Fast Repairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 251-260, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Anand Korthikanti, Mahesh Viswanathan 0001, Gul Agha, YoungMin Kwon |
Reasoning about MDPs as Transformers of Probability Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 199-208, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Marin, Maria Grazia Vigliotti |
From Systems to Components: Constructive Methods for Product-Form Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 305, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski |
Compositional Design Methodology with Constraint Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 123-132, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ana Busic, Jean-Michel Fourneau |
A Toolbox for Component-Wise Bounds for Steady-State Distribution of a DTMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 81-82, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Falko Bause, Peter Buchholz 0001, Jan Kriege |
ProFiDo - The Processes Fitting Toolkit Dortmund. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 87-96, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Derek Doran, Swapna S. Gokhale |
Searching for Heavy Tails in Web Robot Traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 282-291, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lu Feng 0001, Marta Z. Kwiatkowska, David Parker 0001 |
Compositional Verification of Probabilistic Systems Using Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 133-142, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Elvio Gilberto Amparore, Susanna Donatelli |
MC4CSLTA: An Efficient Model Checking Tool for CSLTA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 153-154, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Parasara Sridhar Duggirala, Sayan Mitra, Rakesh Kumar 0016, Dean Glazeski |
On the Theory of Stochastic Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 292-301, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan J. Fokkink, Boudewijn R. Haverkort |
Automating the Mean-Field Method for Large Dynamic Gossip Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 241-250, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Junaid Babar, Andrew S. Miner |
Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 195-196, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova |
Information Hiding in Probabilistic Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 17-26, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | William J. Stewart 0001 |
Reflections on the Numerical Solution of Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 119, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf |
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 193-194, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence Leemis |
Reliability Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 308, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli, Radu Mardare |
The Measurable Space of Stochastic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 171-180, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám, Nils Jansen 0001, Ralf Wimmer 0001, Joost-Pieter Katoen, Bernd Becker 0001 |
DTMC Model Checking by SCC Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 37-46, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Benny Van Houdt |
A Phase-Type Representation for the Queue Length Distribution of a Semi-Markovian Queue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 49-58, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Huth 0001, Nir Piterman, Daniel Wagner 0002 |
p-Automata: New Foundations for Discrete-Time Probabilistic Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 161-170, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mirco Tribastone |
Scalable Differential Analysis of Large Process Algebra Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 307, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone |
Hybrid Semantics for PEPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 181-190, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Béatrice Bérard, John Mullins, Mathieu Sassolas |
Quantifying Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 263-272, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Falko Bause, Gábor Horváth 0002 |
Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 97-106, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | |
QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![IEEE Computer Society, 978-0-7695-4188-4 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Bo Friis Nielsen, Flemming Nielson, Hanne Riis Nielson |
Model Checking Multivariate State Rewards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 7-16, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Levente Bodrog, Peter Buchholz 0001, Jan Kriege, Miklós Telek |
Canonical Form Based MAP(2) Fitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 107-116, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Max Walter, Sebastian Esch, Philipp Limbourg |
COBAREA: The COpula-BAsed REliability and Availability Modeling Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 119-120, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reliability block diagrams, dependent basic events, reliability, software tool, availability, copula, fault trees |
1 | Martin Schoeberl, Walter Binder, Philippe Moret, Alex Villazón |
Design Space Exploration for Java Processors with Cross-Profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 109-118, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
processor architecture evaluation, cross-profiling, embedded systems, Java virtual machine |
1 | Hiroyuki Okamura, Tadashi Dohi |
Faster Maximum Likelihood Estimation Algorithms for Markovian Arrival Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 73-82, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
continuous hidden Markov model, EM algorithm, Maximum likelihood estimation, Markovian arrival process |
1 | Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston |
The Bio-PEPA Tool Suite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 309-310, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Juan F. Pérez, Benny Van Houdt |
Exploiting Restricted Transitions in Quasi-Birth-and-Death Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 123-132, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Structured Markov Chains, Quasi-Birth-and-Death processes |
1 | Antonius Erdmann, Dietmar Weber |
PerDaCol and PerfAnalysis - A Tool Set for Performance Measurement Data Collection and Evaluation of Real-Time Communication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 213-214, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
unix-like software architecture, evaluation, performance measurement, IMS, data collection |
1 | Afonso Sales, Brigitte Plateau |
Reachable State Space Generation for Structured Models which Use Functional Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 269-278, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Decision Diagrams, Kronecker Algebra, Stochastic Automata Networks, State Space Generation |
1 | Reza Pulungan, Holger Hermanns |
Acyclic Minimality by Construction---Almost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 63-72, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Acyclic phase-type distributions, minimality, minimal representation |
1 | Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen |
The Ins and Outs of the Probabilistic Model Checker MRMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 167-176, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
none |
1 | Andras Farago |
Quantifying the Trade-off Between the Level of Connectivity and Local Complexity in Random Wireless Network Topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 237-246, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
random network topology, scalability, connectivity |
1 | Melinda Magyar, István Majzik |
Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 95-96, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UML based modeling, modular model construction, dependability evaluation, Stochastic Activity Networks |
1 | Pedro R. D'Argenio, Nicolás Wolovick, Pedro Sánchez Terraf, Pablo Celayes |
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 11-20, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
logical characterization, measurable, bisimulation, nondeterminism |
1 | Peter Buchholz 0001, Jan Kriege |
A Heuristic Approach for Fitting MAPs to Moments and Joint Moments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 53-62, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Acyclic Phase Type Distributions, Fitting Procedures, Markovian Arrival Processes, Moments |
1 | Axel Legay, Mahesh Viswanathan 0001 |
Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 3, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
simulation, Probability, hypothesis testing |
1 | Qi Zhang 0012, Armin Heindl, Evgenia Smirni, Andreas Stathopoulos |
Comparison of Two Output Models for the BMAP/MAP/1 Departure Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 143-152, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
departure process, BMAP/MAP/1 queue, Matrix-Exponential Processes (MEPs), Markovian Arrival Processes(MAPs) |
1 | Ken Keefe, Quincy Mitchell, Eric Rozier, William H. Sanders |
Remote Job Management in the Mobius Modeling Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 209-210, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
parallel simulation execution, Simulation, modeling, discrete-event systems, compute clusters |
1 | Philippe Moret, Walter Binder, Alex Villazón, Danilo Ansaloni, Martin Schoeberl |
Locating Performance Bottlenecks in Embedded Java Software with Calling-Context Cross-Profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 107-108, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
cross-profiling, cross-profiles visualization, Java Virtual Machine, Embedded software, calling-context |
1 | Ricardo M. Czekster, Paulo Fernandes 0001, Thais Webber |
GTAexpress: A Software Package to Handle Kronecker Descriptors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 281-282, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Kronecker descriptors, Numerical solution |
Displaying result #301 - #400 of 648 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|