14720 search results - page 2830 / 2944 » Interface |
163
click to vote
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
148
click to vote
MM
2010
ACM
15 years 3 months ago
2010
ACM
The design and implementation of a search engine for lecture webcasts is described. A searchable text index is created allowing users to locate material within lecture videos foun...
139
click to vote
MM
2010
ACM
15 years 3 months ago
2010
ACM
This paper presents some interactive features we have added on our street-view web navigation application. Our system allows to navigate through a huge amount of data (panoramas a...
136
click to vote
MM
2010
ACM
15 years 3 months ago
2010
ACM
In this paper we present TwitterSigns, an approach to display microblogs on public displays. Two different kinds of microblog entries (tweets) are selected for display: Tweets tha...
126
click to vote
CCS
2010
ACM
15 years 3 months ago
2010
ACM
This paper presents HyperSentry, a novel framework to enable integrity measurement of a running hypervisor (or any other highest privileged software layer on a system). Unlike exi...