2935 search results - page 277 / 587 » An Integrated Approach to High Integrity Software Verificati... |
222
click to vote
ECOOP
2001
Springer
15 years 11 months ago
2001
Springer
Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely ...
230
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: The popularity of massively parallel exome and transcriptome sequencing projects demands new data mining tools with a comprehensive set of features to support a wide r...
162
click to vote
MICRO
2007
IEEE
16 years 27 days ago
2007
IEEE
As silicon process technology scales deeper into the nanometer regime, hardware defects are becoming more common. Such defects are bound to hinder the correct operation of future ...
201
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Availability of high-resolution RNA crystal structures for the 30S and 50S ribosomal subunits and the subsequent validation of comparative secondary structure models h...
178
click to vote
KRDB
1998
15 years 8 months ago
1998
We present a semantic caching approach for optimizing the performance of information mediators. A critical problem with information mediators, particularly those gathering and int...