1645 search results - page 143 / 329 » Rationale-Based Use Case Specification |
177
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Both microarrays and quantitative real-time PCR are convenient tools for studying the transcriptional levels of genes. The former is preferable for large scale studies...
187
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
205
click to vote
TYPES
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In the FTA project in Nijmegen we have formalized a constructive proof of the Fundamental Theorem of Algebra. In the formalization, we have first defined the (constructiv...
199
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: All known genomes code for a large number of transcription factors. It is important to develop methods that will reveal how these transcription factors act on a genome...
166
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
Peer-to-peer environments have become popular as a framework for exchange of services. In these environments, certain peers may fail to provide their services. Reputation can be a...