134 search results - page 9 / 27 » Logics and Models of Real Time: A Survey |
151
click to vote
FC
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. The dawning Ubiquitous Computing age demands a new attacker model for the myriads of pervasive computing devices used: since a potentially malicious user is in full contr...
127
click to vote
LICS
2012
IEEE
13 years 2 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
112
click to vote
ICPR
2002
IEEE
15 years 4 months ago
2002
IEEE
Abstract Target detection and tracking is one of the most important and fundamental technologies to develop real world computer vision systems such as security and traffic monitori...
COMPCON
1995
IEEE
15 years 3 months ago
1995
IEEE
The Real-Time Environmental Information Network and Analysis System (REINAS) is a distributed system supporting the conduct of regional environmental science research at the desk ...
110
click to vote
DFT
2003
IEEE
15 years 5 months ago
2003
IEEE
Safety-critical embedded systems often operate in harsh environmental conditions that necessitate fault-tolerant computing techniques. Many safety-critical systems also execute re...