365 search results - page 8 / 73 » Liveness in Timed and Untimed Systems |
116
Voted
CSCW
2002
ACM
14 years 11 months ago
2002
ACM
We describe a real-time 3-D augmented reality videoconferencing system. With this technology, an observer sees the real world from his viewpoint, but modified so that the image of...
CONCUR
2007
Springer
15 years 3 months ago
2007
Springer
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
103
Voted
FSTTCS
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
96
Voted
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
91
Voted
LCTRTS
1999
Springer
15 years 3 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...