7519 search results - page 453 / 1504 » Optimizing Generic Functions |
258
click to vote
RSP
1998
IEEE
15 years 11 months ago
1998
IEEE
STEP is an ISO standard (ISO-10303) for the computerinterpretable representation and exchange of product data. Parts of STEP standardize conceptual structures and usage ofinformat...
194
click to vote
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
170
click to vote
MPC
1998
Springer
15 years 11 months ago
1998
Springer
A nested datatype, also known as a non-regular datatype, is a parametrised datatype whose declaration involves different instances of the accompanying type parameters. Nested datat...
172
click to vote
INFOCOM
1997
IEEE
15 years 11 months ago
1997
IEEE
Our aim is to investigate reliable transmission for multicast communication and explore its relationship to multicast routing. We derive two characterizations that enable the comp...
171
click to vote
AAECC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We build on the new security notion for deterministic encryption (PRIV) and the PRIV-secure schemes presented by Bellare et al at Crypto'07. Our work introduces: 1) ...