9931 search results - page 3 / 1987 » Generative Modeling by PRISM |
78
Voted
MASCOTS
2003
14 years 10 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
78
Voted
BIOCOMP
2008
14 years 11 months ago
2008
ENTCS
2006
14 years 9 months ago
2006
QEST
2007
IEEE
15 years 3 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
97
Voted
SIGMETRICS
2008
ACM
14 years 9 months ago
2008
ACM
Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout dynamically changing networks. We present an analysis of a gossip pro...