2167 search results - page 66 / 434 » Stochastic Process Algebras |
140
click to vote
FORMATS
2003
Springer
15 years 10 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
152
click to vote
AAAI
2004
15 years 7 months ago
2004
We introduce the generalized semi-Markov decision process (GSMDP) as an extension of continuous-time MDPs and semi-Markov decision processes (SMDPs) for modeling stochastic decisi...
133
click to vote
WSC
2000
15 years 6 months ago
2000
Analysis of network traffic indicates that packet arrival processes have significant stochastic dependence. It has been suggested that this dependence is so strong as to be wellmo...
242
click to vote
SMA
2010
ACM
15 years 7 days ago
2010
ACM
Threshold estimation is one of the useful techniques in the inference for jump-type stochastic processes from discrete observations. In this method, a jump-discriminant filter is ...
166
click to vote
CCE
2010
15 years 2 months ago
2010
AbstrAct A comprehensive overview of numerical methodologies currently available for analyzing and building understanding of complex processes is presented. Both equation-free and ...