1943 search results - page 209 / 389 » Ordering Default Theories |
176
click to vote
IMA
1999
Springer
15 years 11 months ago
1999
Springer
Recent years have seen numerous examples when designs play an important role in the study of such topics in cryptography as secrecy and authentication codes, secret sharing scheme...
164
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
160
click to vote
LICS
1997
IEEE
15 years 11 months ago
1997
IEEE
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
156
click to vote
VR
1993
IEEE
15 years 11 months ago
1993
IEEE
The MR Toolkit Peer Package is an extension to the MR Toolkit that allows multiple independent MR Toolkit applications to communicate with one another across the Internet. The mas...
178
click to vote
CF
2007
ACM
15 years 11 months ago
2007
ACM
This paper presents the Collapsed Bennett Layout, a general purpose floorplan for reversible quantum-dot cellular automata (QCA) circuits. In order to exploit the full density and...