1788 search results - page 8 / 358 » Model Theory for Process Algebra |
CMSB
2008
Springer
13 years 9 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
SC
1992
ACM
13 years 11 months ago
1992
ACM
EPEW
2008
Springer
13 years 9 months ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
WSC
2000
13 years 8 months ago
2000
Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...
WOSP
2000
ACM
13 years 11 months ago
2000
ACM
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...