197 search results - page 27 / 40 » A Deployment Value Model for Intrusion Detection Sensors |
112
click to vote
MOBISYS
2007
ACM
15 years 11 months ago
2007
ACM
An algorithm has been developed to automatically construct individual models of normal activity within a home using motion sensor data. Alerts can be generated when a period of in...
ISW
2005
Springer
15 years 5 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
104
click to vote
DATAMINE
2006
14 years 11 months ago
2006
Efficiently detecting outliers or anomalies is an important problem in many areas of science, medicine and information technology. Applications range from data cleaning to clinica...
100
click to vote
DSN
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
ICPPW
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...