2015 search results - page 18 / 403 » Hidden Software Capabilities |
SIBGRAPI
2000
IEEE
14 years 1 months ago
2000
IEEE
This work has as main objective to present an off-line signature verification system. It is basically divided into three parts. The first one demonstrates a pre-processing process,...
HPCA
2008
IEEE
14 years 9 months ago
2008
IEEE
As multicore systems become the dominant mainstream computing technology, one of the most difficult challenges the industry faces is the software. Applications with large amounts ...
FOSSACS
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
AIRWEB
2006
Springer
14 years 23 days ago
2006
Springer
Automatically generated content is ubiquitous in the web: dynamic sites built using the three-tier paradigm are good examples (e.g. commercial sites, blogs and other sites powered...
DIMVA
2011
13 years 16 days ago
2011
Many software security solutions—including malware analyzers, information flow tracking systems, auditing utilities, and host-based intrusion detectors—rely on knowledge of s...