410 search results - page 64 / 82 » Validating Cyber Security Requirements: A Case Study |
DCC
2004
IEEE
14 years 8 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...
AGENTS
1997
Springer
14 years 1 months ago
1997
Springer
The World-Wide-Web is less agent-friendly than we might hope. Most information on the Web is presented in loosely structured natural language text with no agent-readable semantics...
ISBI
2007
IEEE
14 years 3 months ago
2007
IEEE
Pittsburg Compound B (PIB) is a Positron Emission Tomography (PET) radio tracer used to image in-vivo, beta amyloid plaques which are one of the major histopathological hallmarks ...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
TSE
2010
13 years 7 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...