2409 search results - page 223 / 482 » Logical systems for structured specifications |
141
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Propositional canonical Gentzen-type systems, introduced in [1], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...
128
click to vote
DAS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. An approach is presented to guide the benchmarking of invoice analysis systems, a specific, applied subclass of document analysis systems. The state of the art of benchma...
112
click to vote
IJCAI
1989
15 years 5 months ago
1989
In this paper, we investigate technical methods to deal with exceptions, inconsistencies, and ambiguity. Existing reason maintenance systems are only suitable for some of these pr...
115
click to vote
EEE
2005
IEEE
15 years 10 months ago
2005
IEEE
Traceability analysis is crucial to the development of web-centric systems, particularly those with frequent system changes, fine-grained evolution and maintenance, and high level...
166
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...