4799 search results - page 440 / 960 » Model Based Requirements Engineering for Embedded Software |
160
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
: - The rising complexity of modern embedded systems is causing a significant increase in the verification effort required by hardware designers and software developers, leading to...
173
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
155
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
Large design models contain tens of thousands of model elements. Designers easily get overwhelmed maintaining the consistency of such design models over time. Not only is it hard ...
152
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
181
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Modeling and quantifying diļ¬erent human factors continue to be one of the major challenges in introducing new biometric systems. For example, drivers of some of our behavior diļ...