5128 search results - page 322 / 1026 » When Abstraction Fails |
228
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
220
click to vote
APIN
2010
15 years 7 months ago
2010
Abstract. This paper introduces a robust variant of AdaBoost, cwAdaBoost, that uses weight perturbation to reduce variance error, and is particularly effective when dealing with da...
168
click to vote
ANOR
2008
15 years 7 months ago
2008
Abstract Given a collection of individual preferences defined on a same finite set of candidates, we consider the problem of aggregating them into a collective preference minimizin...
167
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
Abstract-- We address a new problem--the invertibility problem for continuous-time switched linear systems, which is the problem of recovering the switching signal and the input un...
215
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract-- In this paper, we investigate communication strategies for the multiple access channel with feedback and correlated sources (MACFCS). The MACFCS models a wireless sensor...