Gait is an emerging biometric. Current systems are either holistic or feature based and have been demonstrated to be able to recognise people by the way they walk. This paper descr...
This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, an...
Gerhard Fleischanderl, Thomas Havelka, Herwig Schr...
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
With the massive advance of electronic document repositories, usable interfaces to these repositories gain importance. While sophisticated information retrieval techniques provide...
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...