4307 search results - page 451 / 862 » Dynamic Spyware Analysis |
149
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
188
click to vote
TABLEAUX
2000
Springer
15 years 8 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
147
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The MUSIC algorithm, and its extension for imaging sparse extended objects, with noisy data is analyzed by compressed sensing (CS) techniques. A thresholding rule is developed to a...
125
click to vote
EOR
2008
15 years 5 months ago
2008
In this work, we address investment decisions in production systems by using real options. As is standard in literature, the stochastic variable is assumed to be normally distribu...
128
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Ribozymes are small catalytic RNAs that possess the dual functions of sequencespecific RNA recognition and site-specific cleavage. Trans-cleaving ribozymes can inhibit...