5398 search results - page 125 / 1080 » On the Effective Use of Software Standards in Systems Integr... |
ICRE
1998
IEEE
14 years 1 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
IJSEKE
2007
13 years 9 months ago
2007
Software architectural design has an enormous effect on downstream software artifacts. Decomposition of functions for the final system is one of the critical steps in software arch...
COMPSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
The parameters in these software reliability models are usually directly obtained from the field failure data. Due to the dynamic properties of the system and the insufficiency of...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper we propose a new nonparametric approach to identification of linear time invariant systems using subspace methods. The nonparametric paradigm to prediction of station...
IEEECIT
2010
IEEE
13 years 7 months ago
2010
IEEE
—Simulation based training system can play an important role in education. It provides fruitful configurations with low cost of maintenance and further development compared to th...