Sciweavers

3688 search results - page 315 / 738
» Static analysis of aspects
Sort
View
ISW
2010
Springer
15 years 4 months ago
An Analysis of DepenDNS
Recently, a new scheme to protect clients against DNS cache poisoning attacks was introduced. The scheme is referred to as DepenDNS and is intended to protect clients against such ...
Nadhem J. AlFardan, Kenneth G. Paterson
HVEI
2009
15 years 4 months ago
Harmonic analysis for cognitive vision: perisaccadic perception
The data model for image representation in terms of projective Fourier transform (PFT) is well adapted to both image perspective transformations and the retinotopic mappings of th...
Jacek Turski
ETS
2011
IEEE
224views Hardware» more  ETS 2011»
14 years 6 months ago
AVF Analysis Acceleration via Hierarchical Fault Pruning
—The notion of Architectural Vulnerability Factor (AVF) has been extensively used by designers to evaluate various aspects of design robustness. While AVF is a very accurate way ...
Michail Maniatakos, Chandra Tirumurti, Abhijit Jas...
ICDAR
2009
IEEE
16 years 1 months ago
Threshold Correction of Document Image Binarization for Ruled-line Extraction
In this paper, a new threshold correction method for document image binarization that is forcused on ruled-line extraction is presented. This method enhances the binary image of a...
Hiroshi Tanaka
ERLANG
2003
ACM
16 years 14 hour ago
A soft-typing system for Erlang
This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximat...
Sven-Olof Nyström