1763 search results - page 78 / 353 » A Formalization of Polytime Functions |
IJCNN
2006
IEEE
15 years 3 months ago
2006
IEEE
—A generic prioritization framework is introduced for addressing the problem of automated prioritization of target selection and instrument usage, applicable to Earth and Space r...
IPL
2007
14 years 9 months ago
2007
We present a characterization of first-order functional programs which are quasiterminating w.r.t. the symbolic execution mechanism of needed narrowing, i.e., computations in the...
171
click to vote
ICDE
1998
IEEE
15 years 11 months ago
1998
IEEE
Discovery of functionaldependencies from relations has been identified as an important database analysis technique. In this paper, we present a new approach for finding functional...
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
IJNSEC
2008
14 years 9 months ago
2008
In this paper, we investigate the issues in the analysis and design of provably secure message authentication codes (MACs) Nested MAC (NMAC) and Hash based MAC (HMAC) proposed by ...