4270 search results - page 537 / 854 » Implementation of interactive poster |
298
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
274
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...
204
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
The integration of Bluetooth service discovery protocol (SDP), and GPRS internet connectivity into phones provides a simple yet powerful infrastructure for accessing services in n...
161
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
We present MediaBroker, a distributed framework designed to support pervasive computing applications. Specifically, we propose an architecture consisting of a transport engine and...
176
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...