4693 search results - page 622 / 939 » Verifying Hybrid Systems |
198
click to vote
WORM
2003
15 years 8 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...
194
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
188
click to vote
ENGL
2008
15 years 6 months ago
2008
In one form or another language translation is a necessary part of cross-lingual information retrieval systems. Often times this is accomplished using machine translation systems....
148
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
The challenging problem in linear control theory is to describe the total set of parameters (controller coefficients or plant characteristics) which provide stability of a system....
210
click to vote
PAMI
2006
15 years 6 months ago
2006
Developing on-board automotive driver assistance systems aiming to alert drivers about driving environments, and possible collision with other vehicles has attracted a lot of atten...