Sciweavers

12264 search results - page 455 / 2453
» An Analysis of the XSL Algorithm
Sort
View
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 12 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
FSE
2005
Springer
118views Cryptology» more  FSE 2005»
16 years 12 days ago
A Side-Channel Analysis Resistant Description of the AES S-Box
So far, efficient algorithmic countermeasures to secure the AES algorithm against (first-order) differential side-channel attacks have been very expensive to implement. In this a...
Elisabeth Oswald, Stefan Mangard, Norbert Pramstal...
ICNC
2005
Springer
16 years 12 days ago
Credit Rating Analysis with AFS Fuzzy Logic
In this paper, we propose a new machine learning approach based on AFS (Axiomatic Fuzzy Sets) fuzzy logic, in attempt to provide a better model with interpretability. First, we wil...
Xiaodong Liu, Wanquan Liu
AUSAI
2004
Springer
16 years 9 days ago
Adaptive Enhancing of Fingerprint Image with Image Characteristics Analysis
The quality of the fingerprint images greatly affects the performance of the minutiae extraction. In order to improve the performance of the system, many researchers have been made...
Eun-Kyung Yun, Jin-Hyuk Hong, Sung-Bae Cho
POPL
1998
ACM
15 years 11 months ago
Alias Analysis of Executable Code
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...
Saumya K. Debray, Robert Muth, Matthew Weippert