942 search results - page 20 / 189 » Interrupt Timed Automata |
CAV
1994
Springer
13 years 11 months ago
1994
Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
STACS
2001
Springer
13 years 12 months ago
2001
Springer
Using an automata-theoretic approach, we investigate the decidability of liveness properties (called Presburger liveness properties) for timed automata when Presburger formulas on ...
FSEN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
COLING
1996
13 years 8 months ago
1996
In order to extractrigidexpressions with a high frequency of use, new algorithm that can efficientlyextract both uninterruptedand interruptedcollocationsfrom very large corpora ha...
IOR
2002
13 years 7 months ago
2002
This paper presents the design and pricing of financial contracts for the supply and procurement of interruptible electricity service. While the contract forms and pricing methodo...