9210 search results - page 149 / 1842 » Analyzing Real-Time Systems |
IPPS
2010
IEEE
13 years 7 months ago
2010
IEEE
JDCTA
2010
13 years 4 months ago
2010
Hand detection is a fundamental step in many practical applications as gesture recognition, video surveillance, and multimodal machine interface and so on. The aim of this paper i...
ICFEM
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
CLIMA
2004
13 years 10 months ago
2004
We present TCTLKD, a logic for knowledge, correctness and real time. TCTLKD is interpreted on real time deontic interpreted systems, and extension to continuous time of deontic int...
SNPD
2008
13 years 10 months ago
2008
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...