2488 search results - page 226 / 498 » An improvement in formal verification |
118
click to vote
FPL
1999
Springer
15 years 5 months ago
1999
Springer
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
124
click to vote
DAC
1996
ACM
15 years 5 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
CAV
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
113
click to vote
CP
2006
Springer
15 years 5 months ago
2006
Springer
The paper presents a method for generating solutions of a constraint satisfaction problem (CSP) uniformly at random. The main idea is to express the CSP as a factored probability d...
106
click to vote
BIOID
2008
15 years 3 months ago
2008
This paper addresses the incorporation of quality measures to video-based person authentication. A theoretical framework to incorporate quality measures in biometric authentication...