851 search results - page 22 / 171 » History Effects and Verification |
ICB
2007
Springer
15 years 3 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...
CSE
2009
IEEE
15 years 26 days ago
2009
IEEE
Recent years have witnessed an increasing trend of enterprises outsource their IT services to third parties. A major concern in database outsourcing paradigm is integrity verificat...
105
click to vote
CASCON
2001
15 years 1 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
101
click to vote
ENTCS
2006
14 years 11 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
100
click to vote
MSR
2009
ACM
15 years 6 months ago
2009
ACM
Previous studies have shown that software code attributes, such as lines of source code, and history information, such as the number of code changes and the number of faults in pr...