660 search results - page 91 / 132 » Timed automata based analysis of embedded system architectur... |
DAC
2007
ACM
15 years 1 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...
ICSEA
2008
IEEE
15 years 4 months ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
AHS
2006
IEEE
15 years 3 months ago
2006
IEEE
The paper presents a novel integrated system in which a number of image processing algorithm are embedded within a Genetic Algorithm (GA) based framework in order to provide an ad...
ICALT
2009
IEEE
15 years 4 months ago
2009
IEEE
Supporting students in the acquisition of argumentation skills is an important goal of educational technology. However, there has not been much work done towards developing generi...
ICFEM
2007
Springer
15 years 3 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...