9267 search results - page 362 / 1854 » Expectation-Oriented Analysis and Design |
190
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Research involving expressed sequence tags (ESTs) is intricately coupled to the existence of large, well-annotated sequence repositories. Comparatively complete and sa...
250
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
This paper presents a method for analyzing the survivability of distributed network systems and an example of its application. Survivability is the capability of a system to fulfi...
175
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
201
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Next-generation sequencing (NGS) offers a unique opportunity for high-throughput genomics and has potential to replace Sanger sequencing in many fields, including de-n...
207
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...