6751 search results - page 368 / 1351 » Engineering Quality Requirements Using Quality Models |
198
click to vote
CAV
2011
Springer
14 years 10 months 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...
227
click to vote
USS
2008
15 years 9 months ago
2008
Antivirus software is one of the most widely used tools for detecting and stopping malicious and unwanted files. However, the long term effectiveness of traditional hostbased anti...
162
click to vote
IPCV
2007
15 years 8 months ago
2007
- The shrunk dimension of electronic devices leads to more stringent requirement on process control and quality assurance of their fabrication. For instance, direct die-to-die bond...
174
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Ontology learning integrates many complementary techniques, including machine learning, natural language processing, and data mining. Specifically, clustering techniques facilitat...
180
click to vote
IAJIT
2010
15 years 5 months ago
2010
: The left ventricle tracking in planar scintigraphic images is an important step to study the coronary state. However, it is not as simple as we thought, because of the bad qualit...