403 search results - page 1 / 81 » A testing scenario for probabilistic processes |
ENTCS
2007
13 years 5 months ago
2007
We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a si...
JACM
2007
13 years 5 months ago
2007
ENTCS
1998
13 years 5 months ago
1998
We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...
ICALP
2003
Springer
13 years 10 months ago
2003
Springer
ICVS
2003
Springer
13 years 10 months ago
2003
Springer
This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model with the characters involved in the scenario, with its sub-scenario...