6800 search results - page 613 / 1360 » Testing with Functions as Specifications |
207
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
Testing is a difficult process that becomes more difficult with scaling. With smaller and faster devices, tolerance for errors shrinks and devices may act correctly under certain ...
187
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: The analysis of oligonucleotide microarray data in pathogen surveillance and discovery is a challenging task. Target template concentration, nucleic acid integrity, an...
225
click to vote
AI
2006
Springer
15 years 7 months ago
2006
Springer
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...
236
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Horizontal gene transfer (HGT) is considered a strong evolutionary force shaping the content of microbial genomes in a substantial manner. It is the difference in spee...
187
click to vote
BMCBI
2005
15 years 7 months ago
2005
Background: Computational protein annotation methods occasionally introduce errors. Falsepositive (FP) errors are annotations that are mistakenly associated with a protein. Such f...