1221 search results - page 210 / 245 » Two Consistency Results on Set Mappings |
BMCBI
2006
13 years 8 months ago
2006
Background: The extended use of microarray technologies has enabled the generation and accumulation of gene expression datasets that contain expression levels of thousands of gene...
ENTCS
2007
13 years 8 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
JIPS
2010
13 years 3 months ago
2010
Software evolution is an ongoing process carried out with the aim of extending base applications either for adding new functionalities or for adapting software to changing environm...
TPDS
2010
13 years 6 months ago
2010
The circular sensing model has been widely used to estimate performance of sensing applications in existing analysis and simulations. While this model provides valuable high-level...
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
Often, independent organizations define and advocate different XML formats for a similar purpose and, as a result, application programs need to mutually convert between such forma...