9186 search results - page 1484 / 1838 » A Module System for Scheme |
180
click to vote
SACMAT
2004
ACM
16 years 3 days ago
2004
ACM
Ubiquitous computing uses a variety of information for which access needs to be controlled. For instance, a person’s current location is a sensitive piece of information, which ...
226
click to vote
SC
2004
ACM
16 years 3 days ago
2004
ACM
A Replica Location Service (RLS) allows registration and discovery of data replicas. In earlier work, we proposed an RLS framework and described the performance and scalability of...
163
click to vote
CCS
2004
ACM
16 years 2 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
224
click to vote
EGPGV
2004
Springer
16 years 2 days ago
2004
Springer
We describe a system for the texture-based direct volume visualization of large data sets on a PC cluster equipped with GPUs. The data is partitioned into volume bricks in object ...
192
click to vote
LCPC
2004
Springer
16 years 1 days ago
2004
Springer
Techniques to reduce power dissipation for embedded systems have recently come into sharp focus in the technology development. Among these techniques, dynamic voltage scaling (DVS)...