1219 search results - page 98 / 244 » Verification of Equivalent-Results Methods |
115
click to vote
RC
2002
15 years 2 months ago
2002
Given an approximate solution to a nonlinear system of equations at which the Jacobi matrix is nonsingular, and given that the Jacobi matrix is continuous in a region about this ap...
119
click to vote
IEE
2008
15 years 2 months ago
2008
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
135
click to vote
IEE
2010
15 years 1 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
118
click to vote
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
There is increasing interest in the development of reliable, rapid and non-intrusive security control systems. Among the many approaches, biometrics such as palmprints provide hig...
140
click to vote
ICCD
2004
IEEE
16 years 4 days ago
2004
IEEE
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...