1163 search results - page 124 / 233 » Case Studies of Model Checking for Embedded System Designs |
119
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Virtual human simulation integrated into virtual reality applications is mainly used for virtual representation of the user in virtual environment or for interactions between the ...
184
click to vote
AMT
2010
Springer
15 years 6 months ago
2010
Springer
Developing complex robotic systems endowed with self-conscious abilities and subjective experience is a hard requirement to face at design time. This paper deals with the developme...
156
click to vote
IMCSIT
2010
15 years 1 months ago
2010
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
129
click to vote
RTAS
2007
IEEE
15 years 10 months ago
2007
IEEE
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
161
click to vote
RTCSA
2008
IEEE
15 years 11 months ago
2008
IEEE
· Modelling the fundamental performance limits of Wireless Sensor Networks (WSNs) is of paramount importance to understand the behaviour of WSN under worst-case conditions and to...