9931 search results - page 3 / 1987 » Generative Modeling by PRISM |
MASCOTS
2003
13 years 6 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...
BIOCOMP
2008
13 years 6 months ago
2008
ENTCS
2006
13 years 5 months ago
2006
QEST
2007
IEEE
13 years 11 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 ...
SIGMETRICS
2008
ACM
13 years 5 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...