3674 search results - page 253 / 735 » Information Dependencies |
ITNG
2008
IEEE
14 years 5 months ago
2008
IEEE
The performance of an OCR system depends upon printing quality of the input document. Many OCRs have been designed which correctly identify fine printed documents in Indian and ot...
LICS
2008
IEEE
14 years 5 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
SECURWARE
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
SECURWARE
2008
IEEE
14 years 5 months ago
2008
IEEE
—A security pattern describes a particular recurring security problem that arises in specific contexts, and presents a well-proven generic solution for it [1]. This paper descri...
IEEEIAS
2007
IEEE
14 years 5 months ago
2007
IEEE
An obfuscation aims to transform a program, without affecting its functionality, so that some secret data within the program can be hidden for as long as possible from an adversar...