3387 search results - page 143 / 678 » Model-Checking for Real-Time Systems |
247
click to vote
JDCTA
2010
15 years 1 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...
169
click to vote
CLIMA
2004
15 years 8 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...
178
click to vote
HICSS
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper builds on ideas in a recent paper which argued that the core subject matter of the IS field should not be “the IT artifact” (as suggested by Orlikowski and Iacono [...
171
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
EMERALDS (Extensible Microkernel for Embedded, ReALtime, Distributed Systems) is a real-time microkernel designed for small-memory embedded applications. These applications must r...
193
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
Real-time database systems incorporate the notion of a deadline into the database system model. USUally, deadlines are associated with transactions, and the system attempts to exe...