1070 search results - page 59 / 214 » Type Classes with Functional Dependencies |
IEICET
2008
13 years 7 months ago
2008
Cryptographic hash functions have been widely studied and are used in many current systems. Though much research has been done on the security of hash functions, system designers ...
ICON
2007
IEEE
14 years 2 months ago
2007
IEEE
—IETF ForCES (Forwarding and Control Element Separation) is defining specifications for interfaces and modular resources abstractions in open programmable network equipments. Acc...
INFSOF
2000
13 years 7 months ago
2000
The paper shows a SHEL oriented requirements engineering approach, which has been applied in a case study dealing with the definition of the requirements for a new railways traffi...
VLDB
1994
ACM
13 years 11 months ago
1994
ACM
A new type of optimization, called predicate move-around, ia introduced. It is shown how this optimization `considerably improvea the efficiency of evaluating SQL queries that hav...
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...