5015 search results - page 476 / 1003 » Model Checking a Path |
283
click to vote
CF
2011
ACM
14 years 6 months ago
2011
ACM
Dynamic Information Flow Tracking (DIFT) is a powerful technique that can protect unmodified binaries from a broad range of vulnerabilities such as buffer overflow and code inj...
183
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
Hidden Markov Models (HMMs) model sequential data in many fields such as text/speech processing and biosignal analysis. Active learning algorithms learn faster and/or better by cl...
161
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—This paper presents a channel model for direct trainto-train communication appropriate for the 400 MHz band. Extrapolation of theoretical and experimental results obtain...
156
click to vote
ACSAC
2003
IEEE
16 years 3 days ago
2003
IEEE
Reassembly of fragmented objects from a collection of randomly mixed fragments is a common problem in classical forensics. In this paper we address the digital forensic equivalent...
157
click to vote
GECCO
2003
Springer
16 years 1 days ago
2003
Springer
The aim of the paper is to investigate methods for deriving a suitable set of test paths for a software system. The design and the possible uses of the software system are modelled...