7380 search results - page 1406 / 1476 » time 2008 |
158
Voted
ICCD
2008
IEEE
16 years 28 days ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
156
click to vote
ICCAD
2008
IEEE
16 years 26 days ago
2008
IEEE
—We are developing a framework for computation with biochemical reactions with a focus on synthesizing specific logical functionality, a task analogous to technology-independent...
139
click to vote
WISEC
2010
ACM
15 years 11 months ago
2010
ACM
Abstract A Martian who arrived on Earth today would surely conclude that computing and communications security are in a crisis situation. The popular media as well as technical pub...
134
Voted
TCC
2010
Springer
15 years 11 months ago
2010
Springer
Introduced by Micali, Rabin and Kilian (MRK), the basic primitive of zero-knowledge sets (ZKS) allows a prover to commit to a secret set S so as to be able to prove statements such...
132
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we present Structon, a novel approach that uses Web mining together with inference and IP traceroute to geolocate IP addresses with significantly better accuracy t...