1992 search results - page 126 / 399 » On the (limited) power of non-equivocation |
142
click to vote
PLDI
2000
ACM
15 years 6 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
130
click to vote
ERCIMDL
1998
Springer
15 years 6 months ago
1998
Springer
This paper describes novel market-based technologies for systematic, quantifiable and predictable protection of information systems against attacks. These technologies, incorporate...
119
click to vote
CIKM
2006
Springer
15 years 5 months ago
2006
Springer
Skyline queries compute the set of Pareto-optimal tuples in a relation, i.e., those tuples that are not dominated by any other tuple in the same relation. Although several algorit...
MICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
While technology is delivering increasingly sophisticated and powerful chip designs, it is also imposing alarmingly high energy requirements on the chips. One way to address this ...
114
click to vote
CF
2005
ACM
15 years 3 months ago
2005
ACM
This paper is about making reversible logic a reality for supercomputing. Reversible logic offers a way to exceed certain basic limits on the performance of computers, yet a power...