8492 search results - page 169 / 1699 » Modelling and Design of Multi-Agent Systems |
120
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
149
click to vote
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
166
click to vote
ECBS
1999
IEEE
15 years 8 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
128
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
128
click to vote
EUSFLAT
2003
15 years 5 months ago
2003
The purpose of this paper is to advocate and encourage the application of fuzzy-neuro algorithms in the risk assessment of Distributed Real-Time (DRT) systems, where object-orient...