2351 search results - page 4 / 471 » A Method of Requirement Inconsistency Analysis |
SAC
2009
ACM
15 years 4 months ago
2009
ACM
Spectrum analysis for quality requirements is useful for measuring and tracking them, but current spectrum analysis largely depends on expertise of each analyst. Therefore, it tak...
IJSI
2010
14 years 8 months ago
2010
Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods hav...
103
click to vote
APBC
2006
14 years 11 months ago
2006
: The rapid growth of biological databases not only provides biologists with abundant data but also presents a big challenge in relation to the analysis of data. Many data analysis...
68
Voted
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, a new heuristic-based approach is introduced to extract minimally unsatisfiable subformulas (in short, MUSes) of SAT instances. It is shown that it often outperforms...
TIFS
2010
14 years 4 months ago
2010
Recently developed video editing techniques have enabled us to create realistic synthesized videos. Therefore, using video data as evidence in places such as courts of law requires...