20024 search results - page 3865 / 4005 » Database Management Systems |
PLDI
2004
ACM
15 years 3 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...
100
click to vote
SENSYS
2004
ACM
15 years 3 months ago
2004
ACM
We propose B-MAC, a carrier sense media access protocol for wireless sensor networks that provides a flexible interface to obtain ultra low power operation, effective collision a...
SIGCOMM
2004
ACM
15 years 3 months ago
2004
ACM
Per-flow congestion control helps endpoints fairly and efficiently share network resources. Better utilization of network resources can be achieved, however, if congestion manag...
AISC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
EUROCRYPT
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This work presents a new privacy primitive called “Traceable Signatures”, together with an efficient provably secure implementation. To this end, we develop the unde...