799 search results - page 89 / 160 » Generating Reliable Code from Hybrid-Systems Models |
FMICS
2006
Springer
14 years 1 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
FGR
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper proposes a method of determining human head poses from a sequence of images. The main idea is to use some features in a 3D head model to generate a virtual fronto-paral...
ASM
2004
ASM
14 years 3 months ago
2004
ASM
tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...
ECMDAFA
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. In this paper we report on a feasibility study in reengineering legacy systems towards a model-driven architecture (MDA). Steps in our approach consist of (1) parsing the...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
The fusion of information from heterogenous sensors is crucial to the effectiveness of a multimodal system. Noise affect the sensors of different modalities independently. A good ...