134 search results - page 5 / 27 » Logics and Models of Real Time: A Survey |
93
Voted
ISOLA
2007
Springer
15 years 3 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
CBSE
2005
Springer
15 years 3 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
105
click to vote
CADE
2008
Springer
15 years 9 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
102
click to vote
FUZZIEEE
2007
IEEE
15 years 3 months ago
2007
IEEE
— This paper presents the fuzzy video based emotion recognition system VISBER, that allows to analyze facial expressions in video sequences. In order to process images in real-ti...
118
click to vote
MLMI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Object localization and tracking are key issues in the analysis of scenes for video surveillance or scene understanding applications. This paper presents a contribution t...