2162 search results - page 16 / 433 » Automated Reasoning on Feature Models |
142
click to vote
DLOG
2007
15 years 5 months ago
2007
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...
122
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents work in progress to explore the possibility of combining model-driven and domain modeling techniques to facilitate support for reuse and automation. The approa...
140
Voted
JAR
2006
15 years 3 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
89
Voted
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
