2610 search results - page 75 / 522 » Computational Probabilistic Non-interference |
149
click to vote
HUC
2004
Springer
15 years 7 months ago
2004
Springer
Location estimation is an important part of many ubiquitous computing systems. Particle filters are simulation-based probabilistic approximations which the robotics community has ...
128
click to vote
ISMIS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present an overview of anomaly detection used in computer security, and provide a detailed example of a host-based Intrusion Detection System that monitors file syste...
111
Voted
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
114
click to vote
GLVLSI
2009
IEEE
15 years 6 months ago
2009
IEEE
Mounting concerns over variability, defects and noise motivate a new approach for integrated circuits: the design of stochastic logic, that is to say, digital circuitry that opera...
136
click to vote
CARS
2003
15 years 3 months ago
2003
The goal of the data collection and analyses described in this paper was to investigate the effects of incorrect output from a CAD tool on the reliability of the decisions of its ...