4507 search results - page 100 / 902 » Generalized Binet dynamics |
147
click to vote
WORM
2003
15 years 5 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
141
click to vote
VIROLOGY
2008
15 years 4 months ago
2008
High-interaction honeypots are interesting as they help understand how attacks unfold on a compromised machine. However, observations are generally limited to the operations perfo...
144
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper addresses the computational overhead involved in probabilistic reachability computations for a general class of controlled stochastic hybrid systems. An approximate ...
137
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
125
Voted
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— As an extension of our previous work on estimating fingertip forces by imaging the fingernail [13], the dynamic features of the coloration response of different parts of the ...