4099 search results - page 469 / 820 » A Framework for Interactive Proof |
202
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—With the proliferation of mobile devices in both smartphone and tablet form factors, it is intuitive and natural for users to socially interact with their collaborators or compe...
173
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
169
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
On-demand media stream processing service provisioning on top of a service overlay network (SON) has emerged as a promising approach to providing quality-aware and failure-resilie...
147
click to vote
TABLETOP
2006
IEEE
16 years 22 days ago
2006
IEEE
In this paper we present the Transparent Input Device Layer framework to extend Java applications with support for multiple distributed input devices, a major requirement for tabl...
170
click to vote
HT
2006
ACM
16 years 21 days ago
2006
ACM
We present Opal, a light-weight framework for interactively locating missing web pages (http status code 404). Opal is an example of “in vivo” preservation: harnessing the col...