181 search results - page 1 / 37 » It's About Time: Real-Time Logics Reviewed |
CONCUR
1998
Springer
14 years 23 days ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
PODS
1990
ACM
14 years 17 days ago
1990
ACM
- Performancestudiesof concurrencycontrol algorithms for conventional database systems have shown that, under most operating circumstances, locking protocols outperform optimistic ...
ICMCS
2000
IEEE
14 years 28 days ago
2000
IEEE
The panorama-based annotation method described in this paper uses a panoramic image as the source of information about the positions of the annotations. It finds image alignment p...
FTRTFT
1992
Springer
14 years 19 days ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
REX
1991
14 years 1 days ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...