5639 search results - page 880 / 1128 » Timed Abstract Non-interference |
126
click to vote
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract-- Resource discovery is an essential problem in peerto-peer networks since there is no centralized index in which to look for information about resources. In a pure P2P ne...
123
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract-- We present the applications of reachability methods and computational tools based on game theory to a problem in air traffic management. The use of such methods in air t...
111
click to vote
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract-- In order to increase the transportation capability of elevator group systems in high-rise buildings without adding elevator installation space, double-deck elevator syst...
106
click to vote
PET
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Low-latency anonymous communication networks require padding to resist timing analysis attacks, and dependent link padding has been proven to prevent these attacks with m...
131
click to vote
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...