637 search results - page 17 / 128 » Inconsistency-Tolerant Integrity Checking |
UML
2004
Springer
15 years 2 months ago
2004
Springer
Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined ...
CAV
2001
Springer
15 years 1 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
ICCAD
1998
IEEE
15 years 1 months ago
1998
IEEE
Combinational verification is an important piece of most equivalence checking tools. In the recent past, many combinational verification algorithms have appeared in the literature...
AINA
2007
IEEE
15 years 3 months ago
2007
IEEE
Malware and rootkits are serious security vulnerabilities, and they can be designed to be resistant to anti-viral software, or even totally undetectable. This paper described a hi...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...