894 search results - page 92 / 179 » A Dependability-Driven System-Level Design Approach for Embe... |
81
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
116
Voted
ICRE
1998
IEEE
15 years 4 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...
96
Voted
ASAP
2004
IEEE
15 years 4 months ago
2004
IEEE
Wearable computing systems can be broadly defined as mobile electronic devices that can be unobtrusively embedded in a user's outfit as part of the garment or an accessory. U...
97
Voted
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
-- Starting Electronic System Level (ESL) design flows with executable High-Level Models (HLMs) has the potential to sustainably improve productivity. However, writing good HLMs fo...
99
Voted
ICNSC
2007
IEEE
15 years 7 months ago
2007
IEEE
—Intermodal freight transportation is defined as a system that carries freight from origin to destination by using two or more transportation modes. In this system, hubs are one ...