2488 search results - page 106 / 498 » An improvement in formal verification |
125
Voted
TOPLAS
2008
15 years 19 days ago
2008
act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
76
Voted
ICPR
2002
IEEE
16 years 1 months ago
2002
IEEE
We study the combination of face verification algorithms in order to improve the verification performance. Although the different face experts that we consider provide their outpu...
91
Voted
ICB
2007
Springer
15 years 4 months ago
2007
Springer
Fusion is a popular practice to increase the reliability of the biometric verification. In this paper, optimal fusion at decision level by AND rule and OR rule is investigated. Bot...
120
click to vote
ICIW
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
ASPDAC
2008
ACM
15 years 2 months ago
2008
ACM
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...