467 search results - page 43 / 94 » Designer Definites in Logical Form |
CSFW
2012
IEEE
11 years 11 months ago
2012
IEEE
—In this paper, we propose a formal analysis of domain extenders for hash functions in the indifferentiability framework. We define a general model for domain extenders and prov...
VLDB
1998
ACM
14 years 1 months ago
1998
ACM
Numerous applications such as stock market or medical information systems require that both historical and current data be logically integrated into a temporal database. The under...
DAC
2007
ACM
14 years 10 months ago
2007
ACM
Satisfiability (SAT) solvers often benefit from a preprocessing of the formula to be decided. For formulae in conjunctive normal form (CNF), subsumed clauses may be removed or par...
VLDB
1995
ACM
14 years 18 days ago
1995
ACM
We present a shape definition language, called SDC, for retrieving objects based on shapes contained in the histories associated with these objects. It is a small, yet powerful, l...
ACSD
2010
IEEE
13 years 7 months ago
2010
IEEE
Digital components play a central role in the design of complex embedded systems. These components are interconnected with other, possibly analog, devices and the physical environm...