7288 search results - page 179 / 1458 » On process rate semantics |
125
click to vote
JAMDS
2000
15 years 6 months ago
2000
The aim of this work is to obtain explicit conditions (i.e., conditions on the transition rates) for the stochastic comparison of Markov Processes. A general coupling technique is ...
181
click to vote
IPPS
2006
IEEE
16 years 15 days ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
245
click to vote
CALCO
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We propose a probabilistic interpretation of a class of reversible communicating processes. The rate of forward and backward computing steps, instead of being given expli...
170
click to vote
ICALP
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
171
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
The automatic recognition of video clips is an important capability with applications in broadcast monitoring for content theft and adherence to advertisement campaign. In this pa...