2935 search results - page 173 / 587 » An Integrated Approach to High Integrity Software Verificati... |
150
click to vote
AIIA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents the first release of EDITS, an opensource software package for recognizing Textual Entailment developed by FBK-irst. The main contributions of EDITS ...
171
click to vote
MKWI
2008
15 years 8 months ago
2008
: IT risk management is an important challenge for businesses and software vulnerabilities are a major source of IT risks, as the 2006 CSI/FBI Computer Crime and Security Survey [G...
174
click to vote
VLSI
2010
Springer
15 years 4 months ago
2010
Springer
—This paper proposes a novel technique to exploit the high bandwidth offered by through silicon vias (TSVs). In the proposed approach, synchronous parallel 3D links are replaced ...
177
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The large amount of high-throughput genomic data has facilitated the discovery of the regulatory relationships between transcription factors and their target genes. Wh...
171
click to vote
CHES
2010
Springer
15 years 7 months ago
2010
Springer
This paper introduces a new class of optical fault injection attacks called bumping attacks. These attacks are aimed at data extraction from secure embedded memory, which usually s...