2523 search results - page 23 / 505 » Correct Development of Embedded Systems |
IWSAS
2000
Springer
15 years 1 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
14 years 10 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...
107
click to vote
ADAEUROPE
2007
Springer
15 years 3 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
15 years 4 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
14 years 11 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...