2162 search results - page 13 / 433 » Automated Reasoning on Feature Models |
131
click to vote
ICST
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
JFP
2008
14 years 11 months ago
2008
We describe a method that permits the user of a mechanized mathematical logic to write elegant logical definitions while allowing sound and efficient execution. In particular, the...
109
click to vote
CRV
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper presents a spatial-semantic modeling system featuring automated learning of object-place relations from an online annotated database, and the application of these relat...
UKCBR
1995
15 years 3 months ago
1995
Various cognitive and computational models have addressed the use of previous experience to understand a new domain. In particular, research in case-based reasoning has explored t...