908 search results - page 114 / 182 » Temporal Analysis of Time Bounded Digital Systems |
105
click to vote
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract-- In this paper we consider the problem of monitoring a known set of stationary features (or locations of interest) in an environment. To observe a feature, a robot must v...
VEE
2006
ACM
15 years 3 months ago
2006
ACM
Many critical IT infrastructures require non-disruptive operations. However, the operating systems thereon are far from perfect that patches and upgrades are frequently applied, i...
117
click to vote
TABLEAUX
2009
Springer
15 years 4 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
ECRTS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
TIME
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...