2872 search results - page 531 / 575 » On (Omega-)Regular Model Checking |
169
click to vote
TACAS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
169
Voted
VLSID
2010
IEEE
15 years 1 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
146
click to vote
CISC
2009
Springer
15 years 1 months ago
2009
Springer
The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...
130
Voted
ICDM
2009
IEEE
15 years 1 months ago
2009
IEEE
Anomaly detection is an important data mining task. Most existing methods treat anomalies as inconsistencies and spend the majority amount of time on modeling normal instances. A r...
133
click to vote
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
We introduce a new SIR particle filter that performs tracking in a joint feature space where pixel domain data are fused with measurements obtained from an 18-channel modulation d...