2162 search results - page 8 / 433 » Automated Reasoning on Feature Models |
135
Voted
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
150
click to vote
ECSQARU
2001
Springer
15 years 11 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...
155
Voted
OOPSLA
2009
Springer
16 years 28 days 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...