3689 search results - page 57 / 738 » The Branding Analysis Pattern |
161
Voted
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
148
Voted
ICIP
2001
IEEE
16 years 7 months ago
2001
IEEE
The paper computes the reliability of estimates of image motion parameters. The use of such measures of reliability to weight motion estimates improves significantly the performan...
155
Voted
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a hybrid BIST approach that extracts the most frequently occurring sequences from deterministic test patterns; these extracted sequences are stored on-chip. We use clus...
191
Voted
HASE
2005
IEEE
15 years 11 months ago
2005
IEEE
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional ...
159
Voted
LOPSTR
1994
Springer
15 years 10 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...