26 search results - page 3 / 6 » Verification and Analysis of Self-Checking Properties throug... |
FMICS
2008
Springer
14 years 11 months ago
2008
Springer
There has been relatively little work on the implementability of timing requirements. We have previously provided definitions of fundamental timing operators that explicitly consid...
COMPSAC
2008
IEEE
15 years 3 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
ICASSP
2008
IEEE
15 years 3 months ago
2008
IEEE
Noisy or distorted video/audio training sets represent constant challenges in automated identification and verification tasks. We propose the method of Mutual Interdependence An...
SIGMETRICS
2008
ACM
14 years 9 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
TCAD
2008
14 years 9 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...