1940 search results - page 292 / 388 » The Dynamic Logic of Permission |
178
Voted
SIGMOD
2007
ACM
16 years 1 days ago
2007
ACM
This paper presents HomeViews, a peer-to-peer middleware system for building personal data management applications. HomeViews provides abstractions and services for data organizat...
128
click to vote
ICFP
2001
ACM
15 years 12 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
117
click to vote
MOBISYS
2008
ACM
15 years 11 months ago
2008
ACM
Many people desire ubiquitous access to their personal computing environments. We present a system in which a user leverages a personal mobile device to establish trust in a publi...
110
click to vote
MOBISYS
2004
ACM
15 years 11 months ago
2004
ACM
Computation off-loading, i.e., remote execution, has been shown to be effective for extending the computational power and battery life of resource-restricted devices, e.g., hand-h...
117
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
Sensor networks are expected to evolve into long-lived, autonomous networked systems whose main mission is to provide in-situ users ? called actors ? with real-time information in...