588 search results - page 19 / 118 » Modeling and Verifying Circuits Using Generalized Relative T... |
94
Voted
FC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We introduce a new cryptographic problem called time capsule signature. Time capsule signature is a ‘future signature’ that becomes valid from a specific future time...
159
Voted
SACMAT
2009
ACM
15 years 8 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
137
click to vote
JUCS
2010
14 years 9 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
142
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper aims at deriving a relationship between minimum mean square error (MMSE) based source separation and independent component analysis (ICA) based on the Kullback-Leibler ...
128
Voted
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
—We present a new technique for statistical static timing analysis (SSTA) based on Markov chain Monte Carlo (MCMC), that allows fast and accurate estimation of the right-hand tai...