637 search results - page 19 / 128 » Inconsistency-Tolerant Integrity Checking |
FORMATS
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
ICDAR
2003
IEEE
15 years 2 months ago
2003
IEEE
A new way to detect arrows in line drawings is proposed in this paper. Our approach is based on the definition of the structure of such a symbol. Signatures of angular areas are ...
79
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
We present a Tool Suite which supports the (re-)construction of a behavioral model of a legacy component based on a learning approach by exploiting knowledge of known models of th...
SAFECOMP
2007
Springer
15 years 3 months ago
2007
Springer
In existing security model-checkers the intruder’s behavior is defined as a message deducibility rule base governing use of eavesdropped information, with the aim to find out a m...
77
Voted
ENTCS
2007
14 years 9 months ago
2007
We describe techniques for diagnosing errors in formal equivalence checking of RTL and transistor level models of high performance microprocessors at Freescale Semiconductor Inc. ...