2935 search results - page 579 / 587 » An Integrated Approach to High Integrity Software Verificati... |
106
click to vote
P2P
2010
IEEE
14 years 10 months ago
2010
IEEE
—Privacy leaks are an unfortunate and an integral part of the current Internet domain name resolution. Each DNS query generated by a user reveals – to one or more DNS servers ...
PVLDB
2010
14 years 10 months ago
2010
Data ambiguity is inherent in applications such as data integration, location-based services, and sensor monitoring. In many situations, it is possible to “clean”, or remove, ...
109
click to vote
SIGIR
2010
ACM
14 years 10 months ago
2010
ACM
After two successful years at SIGIR in 2007 and 2008, the third workshop on Searching Spontaneous Conversational Speech (SSCS 2009) was held conjunction with the ACM Multimedia 20...
126
click to vote
GAMESEC
2010
14 years 9 months ago
2010
The combination of username and password is widely used as a human authentication mechanism on the Web. Despite this universal adoption and despite their long tradition, password s...
105
click to vote
ICCAD
2009
IEEE
14 years 9 months ago
2009
IEEE
Heat removal and power delivery have become two major reliability concerns in 3D stacked IC technology. For thermal problem, two possible solutions exist: thermal-through-silicon-...