1282 search results - page 118 / 257 » Signing on signing off |
ASPDAC
2007
ACM
14 years 1 months ago
2007
ACM
A new graph reduction approach to symbolic circuit analysis is developed in this paper. A Binary Decision Diagram (BDD) mechanism is formulated, together with a specially designed ...
CSFW
2004
IEEE
14 years 1 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
DELTA
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper is concerned with the study of human electroencephalogram (EEG) signal of an epileptic person. In classical EEG analysis rhythms in different bands have often been assu...
WSC
2008
13 years 11 months ago
2008
We propose a procedure for reporting a statistical point estimator and its precision for statistical experiments such as simulation experiments. Based on three criteria --loss of ...
AIMS
2008
Springer
13 years 11 months ago
2008
Springer
In this paper, we present a novel distributed certification system in which signing a certificate needs the collaboration of a fixed ratio of the nodes, hence a varying number of n...