1054 search results - page 124 / 211 » From a Verified Kernel towards Verified Systems |
149
click to vote
WOLLIC
2010
Springer
15 years 10 months ago
2010
Springer
sed Logic for Program Abstractions Martin Lange1 and Markus Latte2 1 Dept. of Computer Science, University of Kassel, Germany 2 Dept. of Computer Science, Ludwig-Maximilians-Univer...
178
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
178
click to vote
WORM
2003
15 years 7 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...
137
click to vote
IJCAI
1989
15 years 7 months ago
1989
In this paper, we investigate technical methods to deal with exceptions, inconsistencies, and ambiguity. Existing reason maintenance systems are only suitable for some of these pr...
174
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....