821 search results - page 61 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
120
click to vote
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper proposes to characterize the fingerprint orientation using a novel topological representation, which transforms the orientation field into a map composed of a set of ...
128
click to vote
BIOADIT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A method is presented to predict phase relationships between coupled phase oscillators. As an illustration of how the method can be applied, a distributed Central Pattern...
CAV
2009
Springer
16 years 2 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
ITC
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper proposes an environment to address Testability Analysis and Test Pattern Generation on VHDL descriptions at the RT-level. The proposed approach, based on a suitable fau...
118
click to vote
ASE
2005
15 years 1 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...