5831 search results - page 1088 / 1167 » Distributed Dynamic Backtracking |
115
click to vote
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
120
click to vote
ICFP
2001
ACM
15 years 11 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...
111
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
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...
116
click to vote
MOBIHOC
2005
ACM
15 years 11 months ago
2005
ACM
The throughput of wireless networks can be significantly improved by multi-channel communications compared with single-channel communications since the use of multiple channels ca...