2210 search results - page 66 / 442 » Applying a Model-based Approach for Embedded System Developm... |
EUROMICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...
DAC
1998
ACM
16 years 4 days ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
106
click to vote
SAC
2003
ACM
15 years 4 months ago
2003
ACM
An increasing interest in the design of mobile robots has been observed in recent years, which is mainly motivated by technological advances that may allow their application to co...
BIOWIRE
2007
Springer
15 years 5 months ago
2007
Springer
In this chapter, we present some of the biologically-inspired approaches, developed within the context of the European project BIONETS for enabling autonomic pervasive computing en...
DSN
2004
IEEE
15 years 2 months ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...