9626 search results - page 1598 / 1926 » Invariant Based Programming |
157
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
This work explores the principles and practice of isolating low-level device drivers in order to improve OS dependability. In particular, we explore the operations drivers can per...
178
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
A method that automatically estimates the metrical structure of a piece of music is presented. The approach is based on the generation of a beat similarity matrix, which provides ...
186
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a system that detects human falls in the home environment, distinguishing them from competing noise, by using only the audio signal from a single far-field microphone....
176
click to vote
WIAMIS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, two approaches to utilizing contextual information in semantic image analysis are presented and comparatively evaluated. Both approaches make use of spatial context...
156
click to vote
NDSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Kernel rootkits can provide user level-malware programs with the additional capabilities of hiding their malicious activities by altering the legitimate kernel behavior of an oper...