8177 search results - page 1355 / 1636 » Detecting System Emulators |
202
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
170
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
We present a system for the actuation of tangible magnetic widgets (Madgets) on interactive tabletops. Our system combines electromagnetic actuation with fiber optic tracking to m...
151
click to vote
USS
2010
15 years 4 months ago
2010
Search engines not only assist normal users, but also provide information that hackers and other malicious entities can exploit in their nefarious activities. With carefully craft...
177
click to vote
USS
2010
15 years 4 months ago
2010
Many applications of IP geolocation can benefit from geolocation that is robust to adversarial clients. These include applications that limit access to online content to a specifi...
271
click to vote
AVSS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Cameras are becoming a common tool for automated vision purposes due to their low cost. In an era of growing security concerns, camera surveillance systems have become no...