31324 search results - page 167 / 6265 » Compare |
199
click to vote
LICS
2008
IEEE
16 years 1 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 ...
187
click to vote
SECON
2008
IEEE
16 years 1 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 ...
178
click to vote
CSFW
2007
IEEE
16 years 1 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...