276 search results - page 40 / 56 » A Case Study in the Use of Theory Revision in Requirements V... |
BIOSURVEILLANCE
2007
Springer
14 years 1 months ago
2007
Springer
A significant proportion of human diseases, spanning the gamut from viral respiratory disease to arthropod-borne macroparasitic infections of the blood, exhibit distinct and stable...
MAGS
2007
13 years 7 months ago
2007
In this article a three staged file transfer approach for the Grid is proposed. File transfer in the Grid can take place at three stages: deployment, user application execution, ...
TSE
2010
13 years 6 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
PROMISE
2010
13 years 2 months ago
2010
Background. Recent studies have shown that Support Vector Regression (SVR) has an interesting potential in the field of effort estimation. However applying SVR requires to careful...
DCC
2004
IEEE
14 years 7 months ago
2004
IEEE
Many technical imaging applications, like coding "images" of digital elevation maps, require extracting regions of compressed images in which the pixel values are within...