Sciweavers

1137 search results - page 101 / 228
» Disciplined Methods of Software Specification: A Case Study
Sort
View
AEI
2008
108views more  AEI 2008»
14 years 10 months ago
Combinatorial synthesis approach employing graph networks
The paper proposes a methodology to assist the designer at the initial stages of the design synthesis process by enabling him/her to employ knowledge and algorithms existing in gr...
Offer Shai, Noel Titus, Karthik Ramani
BMCBI
2010
120views more  BMCBI 2010»
14 years 10 months ago
Short clones or long clones? A simulation study on the use of paired reads in metagenomics
Background: Metagenomics is the study of environmental samples using sequencing. Rapid advances in sequencing technology are fueling a vast increase in the number and scope of met...
Suparna Mitra, Max Schubach, Daniel H. Huson
ESE
2006
95views Database» more  ESE 2006»
14 years 9 months ago
Input validation analysis and testing
This research addresses the problem of statically analyzing input command syntax as defined in interface and requirements specifications and then generating test cases for dynamic ...
Jane Huffman Hayes, Jeff Offutt
SAC
2009
ACM
15 years 4 months ago
An empirical study of incorporating cost into test suite reduction and prioritization
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
Adam M. Smith, Gregory M. Kapfhammer
JBI
2007
113views Bioinformatics» more  JBI 2007»
14 years 9 months ago
Description of a method to support public health information management: Organizational network analysis
In this case study, we describe a method that has potential to provide systematic support for public health information management. Public health agencies depend on specialized in...
Jacqueline Merrill, Suzanne Bakken, Maxine Rockoff...