10159 search results - page 71 / 2032 » System Design Validation Using Formal Models |
FMCO
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
ASPDAC
2009
ACM
14 years 22 days ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
ICMCS
2008
IEEE
14 years 2 months ago
2008
IEEE
This work presents the design and experimental verification of an original system architecture aiming at recognizing gestures based solely on the hand trajectory. Self organizing ...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
For the manual semantic markup of documents to become widespread, users must be able to express annotations that conform to ontologies (or schemas) that have shared meaning. Howev...
3DIM
2001
IEEE
13 years 11 months ago
2001
IEEE
We present a complete data acquisition and processing chain for the reliable inspection of industrial parts considering anisotropic noise. Data acquisition is performed with a str...