2162 search results - page 390 / 433 » Automated Reasoning on Feature Models |
260
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
Wireless sensor networks generate a vast amount of data. This data, however, must be sparingly extracted to conserve energy, usually the most precious resource in battery-powered ...
155
click to vote
FOSSACS
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
148
click to vote
SBMF
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
151
click to vote
SIGECOM
2006
ACM
15 years 12 months ago
2006
ACM
Our proposed methods employ learning and search techniques to estimate outcome features of interest as a function of mechanism parameter settings. We illustrate our approach with ...
166
click to vote
RULEML
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...