3911 search results - page 204 / 783 » Using Operational Architecture to Model Embedded Software |
150
Voted
COLCOM
2005
IEEE
16 years 2 days ago
2005
IEEE
The trusted computing bases (TCBs) of applications running on today’s commodity operating systems have become extremely large. This paper presents an architecture that allows to...
182
click to vote
ICONS
2008
IEEE
16 years 27 days ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
182
click to vote
CSMR
2006
IEEE
16 years 16 days ago
2006
IEEE
Recovering the architecture is the first step towards reengineering a software system. Many reverse engineering tools use top-down exploration as a way of providing a visual and ...
186
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
191
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
A method for segmenting and recognizing text embedded in video and images is proposed in this paper. In the method, multiple segmentation of the same text region is performed, thu...