12774 search results - page 2434 / 2555 » A Framework for Proof Systems |
183
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
With the increasing ubiquity of sensors and computational resources, it is becoming easier and increasingly common for people to electronically record, photographs, text, audio, a...
162
click to vote
MMSEC
2004
ACM
15 years 12 months ago
2004
ACM
CSS, the first system to protect multimedia content on the new DVD medium failed badly, because both its encryption algorithm and its key management could easily be broken. A new ...
171
click to vote
PLDI
2004
ACM
15 years 12 months ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
158
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
Integrity constraints are valuable tools for enforcing consistency of data in a database. Global integrity constraints ensure integrity and consistency of data spanning multiple d...
120
click to vote
SIGIR
2004
ACM
15 years 12 months ago
2004
ACM
We describe Web-a-Where, a system for associating geography with Web pages. Web-a-Where locates mentions of places and determines the place each name refers to. In addition, it as...