1742 search results - page 221 / 349 » An Applicative Module Calculus |
ICPR
2004
IEEE
14 years 10 months ago
2004
IEEE
In this paper we propose a novel method for demographic classification and present an image retrieval system that can retrieve facial images by demographic information that includ...
WWW
2003
ACM
14 years 10 months ago
2003
ACM
The growing use of ontologies in applications creates the need for an infrastructure that allows developers to more easily combine different software modules like ontology stores,...
VLSID
2007
IEEE
14 years 9 months ago
2007
IEEE
The Discrete Wavelet Transform (DWT) forms the core of the JPEG2000 image compression algorithm. Since the JPEG2000 compression application is heavily data-intensive, the overall ...
ESSOS
2010
Springer
14 years 6 months ago
2010
Springer
Static security analysis of software has made great progress over the last years. In particular, this applies to the detection of lowlevel security bugs such as buffer overflows,...
CISIS
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...