31324 search results - page 167 / 6265 » Compare |
100
Voted
ISPW
2008
IEEE
15 years 11 months ago
2008
IEEE
144
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
135
click to vote
SECON
2008
IEEE
15 years 11 months ago
2008
IEEE
—Traffic routing plays a critical role in determining the performance of a wireless mesh network. To investigate the best solution, existing work proposes to formulate the mesh ...
136
Voted
CSFW
2007
IEEE
15 years 11 months ago
2007
IEEE
Interrupt-driven communication with hardware devices can be exploited for establishing covert channels. In this article, we propose an information-theoretic framework for analyzin...