12052 search results - page 2137 / 2411 » computer 2010 |
127
click to vote
TAP
2010
Springer
14 years 10 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...
120
click to vote
TSD
2010
Springer
14 years 10 months ago
2010
Springer
In the past decade great technological advances have been made in internet services, personal computers, telecommunications, media and entertainment. Many of these advances have be...
102
click to vote
UIST
2010
ACM
14 years 10 months ago
2010
ACM
Instrumented with multiple depth cameras and projectors, LightSpace is a small room installation designed to explore a variety of interactions and computational strategies related...
134
click to vote
UIST
2010
ACM
14 years 10 months ago
2010
ACM
Modern mobile phones can store a large amount of data, such as contacts, applications and music. However, it is difficult to access specific data items via existing mobile user in...
USS
2010
14 years 10 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...