5451 search results - page 399 / 1091 » The SIGNAL Expert System |
203
click to vote
JCP
2008
15 years 7 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
245
click to vote
IPPS
2009
IEEE
16 years 2 months ago
2009
IEEE
—High-end machines at modern HPC centers are constantly undergoing hardware and system software upgrades – necessitating frequent rebuilds of application codes. The number of p...
242
click to vote
ER
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
360
click to vote
Book
"The Discrete Fourier Transform (DFT) can be understood as a numerical approximation to the Fourier transform. However, the DFT has its own exact Fourier theory, which is the ...
190
click to vote
ICIP
2007
IEEE
16 years 9 months ago
2007
IEEE
Scaling attacks are well-known to be some of the most harmful strategies against quantization-based watermarking methods, as they can completely ruin the performance of the waterm...