1097 search results - page 184 / 220 » Revision Programming = Logic Programming Integrity Constra... |
137
Voted
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
114
Voted
AMW
2010
15 years 4 months ago
2010
We address the problem of answering conjunctive queries over knowledge bases, specified by sets of first-order sentences called tuple-generating dependencies (TGDs). This problem i...
117
Voted
IADIS
2004
15 years 4 months ago
2004
The PolicyUpdater1 system is a generic access control system that provides policy evaluations and dynamic policy updates. These functions are achieved by the use of a logic-based ...
121
Voted
ENTCS
2008
15 years 2 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
133
click to vote
KES
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...