1975 search results - page 20 / 395 » Property analysis and design understanding |
111
Voted
ECML
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper, we investigate the properties of commonly used prepruning heuristics for rule learning by visualizing them in PN-space. PN-space is a variant of ROC-space,...
134
Voted
VAMOS
2010
Springer
14 years 11 months ago
2010
Springer
Lack of realistic benchmarks hinders efficient design and evaluation of analysis techniques for feature models. We extract a variability model from the code base of the Linux kerne...
148
Voted
FIRSTMONDAY
2006
15 years 1 months ago
2006
Many research approaches are conceptualized as binary choices, representing endpoints of a spectrum (each of them providing important perspectives within their own discourses). Des...
104
click to vote
IWPC
1996
IEEE
15 years 6 months ago
1996
IEEE
Evaluating the design of a distributed application is di cult but provides useful information for program development and maintenance. In distributed debugging, for example, proce...
122
Voted
RSP
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...