3256 search results - page 211 / 652 » Applications of Formal Methods to System Design and Verifica... |
177
click to vote
BSN
2006
IEEE
15 years 8 months ago
2006
IEEE
Wearable monitoring networks are designed to augment and improve daily life. These systems require sensors and various electrical components to be mounted on the body. We propose ...
157
click to vote
IFIP13
2004
15 years 7 months ago
2004
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...
178
click to vote
MMSEC
2006
ACM
16 years 13 days ago
2006
ACM
In this paper, we suggest an optimization approach for fingerprint authentication using genetic algorithms. Our application was planned so that it can be used without great effort...
194
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Narrowing extends rewriting with logic capabilities by allowing free variables in terms and replacing matching with unification. Narrowing has been widely used in different context...
182
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...