517 search results - page 80 / 104 » Specification transformers: a predicate transformer approach... |
148
click to vote
BIOINFORMATICS
2005
15 years 6 months ago
2005
Oligonucleotide fingerprinting is an array-based approach used for analysis of microbial community composition and gene expression profiling. Oligonucleotide fingerprinting of rib...
188
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
189
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...
178
click to vote
SIGMOD
2000
ACM
15 years 10 months ago
2000
ACM
Continuous queries are persistent queries that allow users to receive new results when they become available. While continuous query systems can transform a passive web into an ac...
130
click to vote
SCAM
2006
IEEE
16 years 5 days ago
2006
IEEE
An approach for factoring source-code differences is presented. A single large difference between two versions of a program is decomposed into factors (i.e., smaller changes). The...