1285 search results - page 170 / 257 » Description Logic Reasoner: System Description |
178
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
183
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
153
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
Ascertaining the similarity amongst molecules is a fundamental problem in biology and drug discovery. Since similar molecules tend to have similar biological properties, the notio...
199
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
172
click to vote
OTM
2005
Springer
16 years 7 hour ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...