8874 search results - page 148 / 1775 » A New Implementation of Automath |
143
click to vote
ACNS
2007
Springer
15 years 10 months ago
2007
Springer
Many protocols that are based on homomorphic encryption are private only if a client submits inputs from a limited range S. Conditional disclosure of secrets (CDS) helps to overcom...
115
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In psychology the ‘A not B’ error, whereby infants perseverate in reaching to the location where a toy was previously hidden after it has been moved to a new location...
156
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
113
click to vote
DFT
2002
IEEE
15 years 9 months ago
2002
IEEE
1 The objective of this paper is to propose a new fault model suitable for test pattern generation for an FPGA configured to implement a given application. The paper demonstrates t...
130
click to vote
AICT
2006
IEEE
15 years 7 months ago
2006
IEEE
New connection-oriented networking technologies can provide quality-of-service guaranteed network connectivity required by some web-based applications. In this paper, we present a...