2610 search results - page 419 / 522 » Computational Probabilistic Non-interference |
113
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
The paper deals with the problem of computing schedules for multi-threaded real-time programs. In [14] we introduced a scheduling method based on the geometrization of PV programs...
115
Voted
EUC
2006
Springer
15 years 7 months ago
2006
Springer
We present the first Utility Accrual (or UA) real-time scheduling algorithm for multiprocessors, called gMUA. The algorithm considers an application model where real-time activiti...
130
click to vote
EURONGI
2006
Springer
15 years 7 months ago
2006
Springer
Wireless sensor networks (WSNs) pose challenges not present in classical distributed systems: resource limitations, high failure rates, and ad hoc deployment. The lossy nature of w...
152
click to vote
HUMO
2000
Springer
15 years 7 months ago
2000
Springer
We present an approach for recovering articulated body pose from single monocular images using the Specialized Mappings Architecture (SMA), a non-linear supervised learning archit...
119
Voted
RAID
2000
Springer
15 years 6 months ago
2000
Springer
Inference methods for detecting attacks on information resources typically use signature analysis or statistical anomaly detection methods. The former have the advantage of attack...