1980 search results - page 246 / 396 » Compositional Model Checking of Real Time Systems |
127
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
We present a novel framework for tracking of a long sequence of human activities, including the time instances of change from one activity to the next, using a closed-loop, non-li...
134
click to vote
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
— Denial-of-service attacks are becoming more frequent and sophisticated. Researchers have proposed a variety of defenses, including better system configurations, infrastructure...
104
click to vote
FAST
2008
15 years 5 months ago
2008
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...
111
Voted
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
165
click to vote
TIME
2003
IEEE
15 years 8 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...