1560 search results - page 300 / 312 » interfaces 2010 |
114
click to vote
ICFP
2010
ACM
14 years 9 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...
MM
2010
ACM
14 years 9 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...
MM
2010
ACM
14 years 9 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...
CCS
2010
ACM
14 years 9 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...
CCS
2010
ACM
14 years 9 months ago
2010
ACM
A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...