310 search results - page 41 / 62 » Symbolic Model Based Testing for Component Oriented Systems |
HPDC
1993
IEEE
13 years 11 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
CCGRID
2006
IEEE
14 years 1 months ago
2006
IEEE
Service Oriented EXtensible Modeling and Simulation Supporting Environment Architecture (SO-XMSSEA) is presented based on XMSF thinking and the new technology development of web s...
ICRA
1999
IEEE
13 years 12 months ago
1999
IEEE
The mobile robot localization problem is decomposed into two stages attitude estimation followed by position estimation. The innovation of our method is the use of a smoother, in ...
SEE
1997
Springer
13 years 11 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
HCI
2007
13 years 9 months ago
2007
This paper aims at describing the architectural model of an adaptive force-feedback for a By Wire steering wheel system. This solution uses a steering wheel to replicate the reacti...