2356 search results - page 317 / 472 » Characterizations of postman sets |
160
click to vote
CDC
2008
IEEE
16 years 29 days ago
2008
IEEE
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speci...
143
click to vote
CDC
2008
IEEE
16 years 29 days ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
166
click to vote
CDC
2008
IEEE
16 years 29 days ago
2008
IEEE
In this paper we study a class of uncertain linear estimation problems in which the data are affected by random uncertainty. In this setting, we consider two estimation criteria,...
157
click to vote
DSN
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract—Peer-to-peer relaying is commonly used in realtime applications to cope with NAT and firewall restrictions and provide better quality network paths. As relaying is not ...
163
click to vote
DSN
2008
IEEE
16 years 28 days ago
2008
IEEE
An important yet largely uncharted problem in malware defense is how to automate generation of infection signatures for detecting compromised systems, i.e., signatures that charac...