732 search results - page 4 / 147 » Axiomatising timed automata |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Together with the concept of reversibility, another relevant physical notion is time-symmetry, which expresses that there is no way of distinguishing between backward and forward t...
QEST
2010
IEEE
13 years 5 months ago
2010
IEEE
LICS
2012
IEEE
11 years 10 months ago
2012
IEEE
ICDT
2007
ACM
13 years 11 months ago
2007
ACM
Abstract. We review key constraints in the context of XML as introduced by Buneman et al. We show that one of the proposed inference rules is not sound in general, and the axiomati...
RTSS
2003
IEEE
14 years 23 days ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...