118 search results - page 10 / 24 » Model Checking Durational Probabilistic Systems |
181
click to vote
QEST
2006
IEEE
15 years 12 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
138
click to vote
NIPS
2004
15 years 7 months ago
2004
We present a graphical model for beat tracking in recorded music. Using a probabilistic graphical model allows us to incorporate local information and global smoothness constraint...
172
click to vote
TGC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
153
click to vote
COMPSAC
2008
IEEE
16 years 9 days ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
139
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...