2523 search results - page 23 / 505 » Correct Development of Embedded Systems |
IWSAS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Model-Integrated Computing is a proven technology for designing and implementing complex software systems. Making the designtime models available at run-time benefits the...
IJCAI
1989
13 years 8 months ago
1989
This paper represents a beginning development of a parallel truth maintenance system to interact with a parallel inference engine. We present a solution which performs status assi...
ADAEUROPE
2007
Springer
14 years 1 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
SEFM
2009
IEEE
14 years 2 months ago
2009
IEEE
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
ASSETS
2005
ACM
13 years 9 months ago
2005
ACM
This study has been performed in order to test the manmachine interface of a computer-based speech training aid named ARTUR with the main feature that it can give suggestions on h...