2488 search results - page 188 / 498 » An improvement in formal verification |
ICMCS
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper an approach for combining online signature authentication experts will be proposed. The different experts are based on one feature extraction method presented in our...
AVBPA
2003
Springer
15 years 6 months ago
2003
Springer
Face and iris identification have been employed in various biometric applications. Besides improving the verification performance, the fusion of both of the biometrics has several ...
115
click to vote
FASE
2009
Springer
15 years 5 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
102
click to vote
ASPDAC
2006
ACM
15 years 5 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
115
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...