1999 search results - page 297 / 400 » Dependently Typed Grammars |
151
click to vote
ICNP
2000
IEEE
15 years 10 months ago
2000
IEEE
A scalable object location service can enable users to search for various objects in an environment where many small, networked devices are attached to objects. We investigate two...
158
click to vote
SSDBM
2000
IEEE
15 years 10 months ago
2000
IEEE
In implementations of non-standard database systems, large objects are often embedded within an aggregate of different types, i.e. a tuple. For a given size and access probabilit...
190
click to vote
CHI
2000
ACM
15 years 10 months ago
2000
ACM
Interfaces based on recognition technologies are used extensively in both the commercial and research worlds. But recognizers are still error-prone, and this results in human perf...
186
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
This is a project for developing a distributed job execution environment for highly iterative jobs. An iterative job is one where the same binary code is run hundreds of times wit...
143
click to vote
CCS
2000
ACM
15 years 10 months ago
2000
ACM
We describe a class of attacks that can compromise the privacy of users’ Web-browsing histories. The attacks allow a malicious Web site to determine whether or not the user has ...