4962 search results - page 20 / 993 » Stochastic Model Checking |
CMSB
2008
Springer
13 years 9 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
QEST
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...
COLT
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Probabilistic finite automata (PFA) model stochastic languages, i.e. probability distributions over strings. Inferring PFA from stochastic data is an open field of rese...
AGENTS
1999
Springer
13 years 12 months ago
1999
Springer
For a dynamic, evolving multiagent auction, we have developed an adaptive agent bidding strategy (called the p-strategy) based on stochastic modeling. The p-strategy takes into ac...
ICIP
1994
IEEE
14 years 9 months ago
1994
IEEE