54 search results - page 6 / 11 » Tight integration of combinational verification methods |
SCN
2011
Springer
13 years 4 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
PR
2010
13 years 8 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...
JFP
2008
13 years 9 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
ARTMED
2006
13 years 10 months ago
2006
Objective: Currently, visualization support for patient data analysis is mostly limited to the representation of directly measured data. Contextual information on performed treatm...
BMCBI
2011
13 years 4 months ago
2011
Background: Cross-platform analysis of gene express data requires multiple, intricate processes at different layers with various platforms. However, existing tools handle only a s...