2748 search results - page 220 / 550 » Generating Object-Z Specifications from Use Cases |
112
Voted
BMCBI
2005
15 years 21 days ago
2005
Background: Expressed Sequence Tags (ESTs) are short and error-prone DNA sequences generated from the 5' and 3' ends of randomly selected cDNA clones. They provide an im...
110
Voted
CLUSTER
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract-- Multicore microprocessors have been largely motivated by the diminishing returns in performance and the increased power consumption of single-threaded ILP microprocessor...
96
Voted
VLDB
1998
ACM
15 years 5 months ago
1998
ACM
Data Mining places specific requirements on DBMS query performance that cannot be evaluated satisfactorily using existing OLAP benchmarks. The DD Benchmark - defined here - provid...
100
Voted
ESEM
2007
ACM
15 years 4 months ago
2007
ACM
There are various models in software engineering that are used to predict quality-related aspects of the process or artefacts. The use of these models involves elaborate data coll...
103
Voted
ENTCS
2010
15 years 26 days ago
2010
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...