2853 search results - page 82 / 571 » On the Efficiency of Provenance Queries |
190
click to vote
ASIACRYPT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper, we consider the problem of mutually authenticated key exchanges between a low-power client and a powerful server. We show how the Jakobsson-Pointcheval sch...
179
click to vote
DAC
1994
ACM
15 years 9 months ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...
165
click to vote
WSCG
2004
15 years 7 months ago
2004
This work presents a new method of fast cubic and higher order image interpolation. The evaluation of the piecewise n-th order polynomial kernels is accelerated by transforming th...
197
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the descri...
138
click to vote
INFORMS
2010
15 years 3 months ago
2010
Controlled Sequential Bifurcation (CSB) is a factor-screening method for discrete-event simulations. It combines a multi-stage hypothesis testing procedure with the original Seque...