4 search results - page 1 / 1 » Quantitative Model Checking of Continuous-Time Markov Chains... |
170
Voted
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
186
Voted
TGC
2010
Springer
15 years 4 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 ...
164
Voted
COORDINATION
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
160
Voted
QEST
2008
IEEE
16 years 22 days ago
2008
IEEE
We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...