3516 search results - page 176 / 704 » Integrating Security Modeling into Embedded System Design |
135
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
Increasing functional and non-functional requirements in automotive electric /electronic vehicle development will significantly enhance the integration of novel functions in the e...
162
click to vote
KBSE
2007
IEEE
16 years 18 days ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
141
click to vote
DATE
2006
IEEE
16 years 12 days 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 ...
170
click to vote
ICRE
1998
IEEE
15 years 10 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...
172
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper we report our recent development of an end-to-end integrative design methodology for speech translation. Specifically, a novel decision function is proposed based o...