2610 search results - page 62 / 522 » Computational Probabilistic Non-interference |
DAC
2001
ACM
14 years 9 months ago
2001
ACM
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
FOSSACS
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
CONCUR
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
SCL
2008
13 years 8 months ago
2008
This paper considers time-varying uncertain constrained systems, and develops a method for computing a probabilistic output admissible (POA) set. This set consists of the initial ...