Quantitative Evaluation of Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642401954, 9783642401961
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated Rare Event Simulation for Stochastic Petri Nets

2013 ◽  
pp. 372-388 ◽  
Author(s):  
Daniël Reijsbergen ◽  
Pieter-Tjerk de Boer ◽  
Werner Scheinhardt ◽  
Boudewijn Haverkort
Keyword(s):  
Petri Nets ◽  
Rare Event ◽  
Stochastic Petri Nets ◽  
Rare Event Simulation ◽  
Event Simulation

On the Interplay between Content Popularity and Performance in P2P Systems

2013 ◽  
pp. 3-21 ◽  
Author(s):  
Edmundo de Souza e Silva ◽  
Rosa M. M. Leão ◽  
Daniel Sadoc Menasché ◽  
Antonio A. de A. Rocha
Keyword(s):  
P2p Systems ◽  
Content Popularity ◽  
And Performance

ADTool: Security Analysis with Attack–Defense Trees

2013 ◽  
pp. 173-176 ◽  
Author(s):  
Barbara Kordy ◽  
Piotr Kordy ◽  
Sjouke Mauw ◽  
Patrick Schweitzer
Keyword(s):  
Security Analysis

scholarly journals High-Level Counterexamples for Probabilistic Automata

2013 ◽  
pp. 39-54 ◽  
Author(s):  
Ralf Wimmer ◽  
Nils Jansen ◽  
Andreas Vorpahl ◽  
Erika Ábrahám ◽  
Joost-Pieter Katoen ◽  
...  
Keyword(s):  
Probabilistic Automata ◽  
High Level
Load More ...
Sign in / Sign up

Export Citation Format

Share Document