2878 search results - page 29 / 576 » Analyzing the Uses of a Software Modeling Tool |
BMCBI
2008
13 years 8 months ago
2008
Background: There is great interest in probing the temporal and spatial patterns of cytosine methylation states in genomes of a variety of organisms. It is hoped that this will sh...
ICSE
2011
IEEE-ACM
12 years 11 months ago
2011
IEEE-ACM
Continuous quality assessment is crucial for the long-term success of evolving software. On the one hand, code analysis tools automatically supply quality indicators, but do not p...
AMAST
2010
Springer
13 years 3 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
BMCBI
2007
13 years 8 months ago
2007
Background: Genotype information generated by individual and international efforts carries the promise of revolutionizing disease studies and the association of phenotypes with al...
BMCBI
2010
13 years 8 months ago
2010
Background: Microarray technology allows the simultaneous analysis of thousands of genes within a single experiment. Significance analyses of transcriptomic data ignore the gene d...