2488 search results - page 338 / 498 » An improvement in formal verification |
TIP
2002
15 years 1 months ago
2002
Several fragile watermarking schemes presented in the literature are either vulnerable to vector quantization (VQ) counterfeiting attacks or sacrifice localization accuracy to impr...
145
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
130
click to vote
CASES
2010
ACM
14 years 11 months ago
2010
ACM
Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibi...
145
click to vote
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
Network coding has been shown to be capable of greatly improving quality of service in P2P live streaming systems (e.g., IPTV). However, network coding is vulnerable to pollution a...
110
click to vote
CACM
2010
14 years 11 months ago
2010
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...