In [1], we proposed a model for policy-based intrusion detection, based on information flow control. In the present paper, we show its applicability and effectiveness on a stand...
Skewscope is a software module designed to detect and analyze skew information of textual document images. Its skew detection algorithm, which is the major topic of this paper, di...
This paper presented an approach for the evaluation of a collaborative system, after the completion of system development and software testing but before its deployment. Scenario ...
Lydia M. S. Lau, Craig A. Adams, Peter M. Dew, Chr...
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
A completely automatic face recognition system is presented. The method works on color and gray level images: after having localized the face and the facial features, it determines...