2068 search results - page 123 / 414 » On Effectiveness of Application-Layer Coding |
143
Voted
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
151
click to vote
NIPS
2004
15 years 5 months ago
2004
It has been suggested that the primary goal of the sensory system is to represent input in such a way as to reduce the high degree of redundancy. Given a noisy neural representati...
131
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
141
click to vote
DIMVA
2009
15 years 5 months ago
2009
Drive-by download attacks are among the most common methods for spreading malware today. These attacks typically exploit memory corruption vulnerabilities in web browsers and brows...
148
Voted
TCOM
2010
15 years 2 months ago
2010
— Mobile users with single antennas can still take advantage of spatial diversity through cooperative space-time encoded transmission. In this paper, we consider a scheme in whic...