1057 search results - page 66 / 212 » Testing from Formal Specifications, a Generic Approach |
166
click to vote
TC
2010
14 years 10 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
148
Voted
WETICE
1995
IEEE
15 years 6 months ago
1995
IEEE
Although there are many quality domains in which ideas and concepts about quality are represented, these representations are often informal. The TOVE Quality Ontology is the forma...
134
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Backtranslation is the process of decoding a sequence of amino acids into the corresponding codons. All synthetic gene design systems include a backtranslation module....
120
click to vote
IFIP8
2007
15 years 4 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
125
Voted
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
We propose a spectral partitioning approach for large-scale optimization problems, specifically structure from motion. In structure from motion, partitioning methods reduce the pr...