216 search results - page 12 / 44 » Modeling and Automated Containment of Worms |
127
Voted
DAC
2003
ACM
16 years 2 months ago
2003
ACM
A binary decoder is a common component of software development tools such as instruction set simulators, disassemblers and debuggers. The efficiency of the decoder can have a sign...
138
click to vote
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
Recognition of signs in sentences requires a training
set constructed out of signs found in continuous sentences.
Currently, this is done manually, which is a tedious process.
I...
127
click to vote
SP
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
125
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: Accurate assignment of genes to pathways is essential in order to understand the functional role of genes and to map the existing pathways in a given genome. Existing ...
120
Voted
CADE
2007
Springer
15 years 8 months ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...