3256 search results - page 236 / 652 » Integrated Environment for Embedded Control Systems Design |
124
click to vote
SAC
1994
ACM
15 years 8 months ago
1994
ACM
Traditional database technology may be extended by taking advantage of the facilities of an integrated persistent programming environment. This paper focuses on how such an enviro...
124
click to vote
WAIM
2005
Springer
15 years 9 months ago
2005
Springer
In enterprise environment, security becomes increasingly important and costly. Enterprises are struggling to protect the increasing amount of disparate resources. Simple patchwork ...
147
click to vote
ICRE
1998
IEEE
15 years 8 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...
146
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Many problems in high assurance systems design are only tractable using computationally expensive search algorithms. For these algorithms to be useful, designers must be provided ...
127
click to vote
SIGGRAPH
1991
ACM
15 years 7 months ago
1991
ACM
We present an interactive modeling and animation system that facilitates the integration of a variety of simulation and animation paradigms. This system permits the modeling of di...