2935 search results - page 43 / 587 » An Integrated Approach to High Integrity Software Verificati... |
126
click to vote
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
This paper proposes an efficient hardware/software system that significantly enhances software security through diversified replication on multi-cores. Recent studies show that a ...
136
click to vote
IDEAL
2009
Springer
15 years 1 months ago
2009
Springer
This work is related to the KEEL1 (Knowledge Extraction based on Evolutionary Learning) tool, a non-commercial software that supports data management, design of experiments and an ...
209
click to vote
B
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
115
click to vote
ECMDAFA
2010
Springer
15 years 4 months ago
2010
Springer
Reuse is an important means of reducing costs and effort during the development of complex software systems. A major challenge is to find suitable components in a large library wit...
143
click to vote
PR
2010
15 years 2 months ago
2010
This paper presents a new personal authentication system that simultaneously exploits 2D and 3D palmprint features. The objective of our work is to improve accuracy and robustness...