2162 search results - page 8 / 433 » Automated Reasoning on Feature Models |
85
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
ECSQARU
2001
Springer
15 years 4 months ago
2001
Springer
In this paper we examine the ability to perform causal reasoning with equilibrium models. We explicate a postulate, which we term the Manipulation Postulate, that is required in o...
DLOG
2004
15 years 1 months ago
2004
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...