126 search results - page 22 / 26 » Specifying and Generating Test Cases Using Observer Automata |
BIBM
2009
IEEE
15 years 4 months ago
2009
IEEE
Background: In eukaryotes, alternative splicing often generates multiple splice variants from a single gene. Here weexplore the use of RNA sequencing (RNA-Seq) datasets to address...
FASE
2006
Springer
15 years 1 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
For many companies, the strategic as well as the organizational fit of their information systems is a pivotal factor for staying competitive. At the same time, there is an increas...
ICAC
2009
IEEE
15 years 4 months ago
2009
IEEE
The design of autonomic systems often relies on representative benchmarks for evaluating system performance and scalability. Despite the fact that experimental observations have e...
BMCBI
2008
14 years 9 months ago
2008
Background: Experimental examinations of biofluids to measure concentrations of proteins or their fragments or metabolites are being explored as a means of early disease detection...