20126 search results - page 167 / 4026 » Timed Transition Systems |
110
click to vote
CGI
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes a technique to obtain a time dilation or contraction of an audio signal. Different Computer Graphics applications can take advantage of this technique. In rea...
107
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
We propose a remedy to that part of the state-explosion problem for timed automata which is due to interleaving of actions. We prove the following quite surprising result: the unio...
129
Voted
ORL
2002
15 years 3 months ago
2002
This paper considers an M/G/1 queue in which service time distributions in each busy period change according to a finite state Markov chain, embedded at the arrival instants of cu...
157
Voted
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
112
Voted
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to lang...