8492 search results - page 649 / 1699 » Modelling and Design of Multi-Agent Systems |
200
Voted
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
199
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
208
click to vote
IWPC
2008
IEEE
16 years 1 months ago
2008
IEEE
As an object-oriented system evolves, its architecture tends to drift away from the original design. Knowledge of how the system has changed at coarse-grained levels is key to und...
217
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
221
click to vote
IRI
2005
IEEE
16 years 1 months ago
2005
IEEE
Heterogeneous systems are systems that obey different functioning laws. For instance, during the design of embedded systems, it is generally necessary to study both the controller...