2351 search results - page 163 / 471 » A Method of Requirement Inconsistency Analysis |
153
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
121
click to vote
DEXA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
128
click to vote
CIMCA
2008
IEEE
15 years 11 months ago
2008
IEEE
Heart disease continues to be leading cause of morbidity and mortality among adults all over the world. Cardiac risk factor assessment requires a classification system that is rob...
145
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
129
click to vote
ISVC
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we report a robust, efficient, and automatic method for matching infrared tracked markers for human motion analysis in computer-aided physical therapy applications. ...