226 search results - page 10 / 46 » Symbolic Model Checking for Real-time Systems |
GAMEON
2003
13 years 8 months ago
2003
Simulation has been regarded as the third way to represent social models, alternative to other two symbol systems: the verbal argumentation and the mathematical one. Simulation ca...
EMSOFT
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
JMM2
2006
13 years 7 months ago
2006
This paper presents an efficient, robust and fully automatic real-time system for 3D object pose tracking in image sequences. The developed application integrates two main componen...
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
IJCAI
2007
13 years 8 months ago
2007
The association of perception and action is key to learning by observation in general, and to programlevel task imitation in particular. The question is how to structure this info...