3082 search results - page 208 / 617 » Deviation Analysis: A New Use of Model Checking |
183
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...
186
click to vote
CI
1999
15 years 6 months ago
1999
In this paper we develop a formalization of semantic relations that facilitates efficient implementations of relations in lexical databases or knowledge representation systems usi...
164
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
161
click to vote
MSWIM
2004
ACM
15 years 12 months ago
2004
ACM
Mobile ad-hoc networks (MANETs) present quite large packet loss bursts due to mobility. In this work we propose two models based on hidden Markov models for estimating packet arri...
180
click to vote
CVIU
2006
15 years 6 months ago
2006
This paper presents a new approach to scene analysis, which aims at extracting structured information from a video sequence using directly low-level data. The method models the se...