641 search results - page 40 / 129 » Identifying Contingency Requirements Using Obstacle Analysis |
CTW
2004
13 years 8 months ago
2004
Studies of performance in medicine are often based on observation. Videotape provides a valuable tool for recording events from both real environments and simulators. When analysin...
METRICS
2005
IEEE
14 years 2 months ago
2005
IEEE
Studying the evolution of long lived processes such as the development history of a software system or the publication history of a research community, requires the analysis of a ...
BMCBI
2010
13 years 9 months ago
2010
Background: Understanding the genetic basis of disease risk in depth requires an exhaustive knowledge of the types of genetic variation. Very recently, Copy Number Variants (CNVs)...
BMCBI
2008
13 years 9 months ago
2008
Background: Association testing is a powerful tool for identifying disease susceptibility genes underlying complex diseases. Technological advances have yielded a dramatic increas...
CAV
2011
Springer
13 years 11 days ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...