9051 search results - page 1531 / 1811 » On detectability of stochastic systems |
148
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...
203
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...
171
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...
178
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...