1292 search results - page 198 / 259 » A Designer's Guide to KEMs |
ICSE
2001
IEEE-ACM
14 years 11 days ago
2001
IEEE-ACM
Reading techniques are step-by-step procedures that guide individual inspectors while they uncover defects in a software artifact. Reading techniques provide a systematic and well...
RTCSA
2000
IEEE
14 years 9 days ago
2000
IEEE
This paper introduces an exact schedulability analysis for the optional computation model urider a specified failure hypothesis. From this analysis, we propose a solutionfor deter...
ARVLSI
1999
IEEE
14 years 7 days ago
1999
IEEE
The ability of animals to select a limited region of sensory space for scrutiny is an important factor in dealing with cluttered or complex sensory environments. Such an attention...
DATE
1999
IEEE
14 years 7 days ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
HICSS
1999
IEEE
14 years 7 days ago
1999
IEEE
Empirical work with "Belvedere," a software environment for the construction of diagrammatic representations of evidential relations, is summarized, leading to the hypot...