7429 search results - page 312 / 1486 » Embedded System Update |
187
click to vote
EMSOFT
2005
Springer
16 years 3 days ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
247
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
158
click to vote
ISIM
2007
15 years 8 months ago
2007
The paper discusses a choice of appropriate software architecture with regards to the specifications of embedded applications as information systems particularly used in area of ra...
184
click to vote
COMPLEXITY
2010
15 years 4 months ago
2010
To gain a deeper understanding of the impact of spatial embedding on the dynamics of complex systems we employ a measure of interaction complexity developed within neuroscience us...