2488 search results - page 190 / 498 » An improvement in formal verification |
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. As the number and scope of government regulations and rules mandating trustworthy retention of data keep growing, businesses today are facing a higher degree of regulatio...
AVBPA
2003
Springer
15 years 6 months ago
2003
Springer
A new approach for the personal identification using hand images is presented. This paper attempts to improve the performance of palmprint-based verification system by integrating ...
109
click to vote
DSN
2007
IEEE
15 years 5 months ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
116
click to vote
CAV
2008
Springer
15 years 3 months ago
2008
Springer
Hangal et. al. [3] have developed a procedure to check if an instance of the execution of a shared memory multiprocessor program, is consistent with the Total Store Order (TSO) mem...
113
click to vote
CP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...