1164 search results - page 87 / 233 » Using CBR for Semantic Analysis of Software Specifications |
BMCBI
2010
14 years 12 months ago
2010
Background: Microorganisms display vast diversity, and each one has its own set of genes, cell components and metabolic reactions. To assess their huge unexploited metabolic poten...
103
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: DNA sequence polymorphisms analysis can provide valuable information on the evolutionary forces shaping nucleotide variation, and provides an insight into the function...
EUROMICRO
2009
IEEE
15 years 3 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
SIGSOFT
2005
ACM
16 years 18 days ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
SCAM
2006
IEEE
15 years 5 months ago
2006
IEEE
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...