3229 search results - page 208 / 646 » The Theory of Timed Automata |
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Behavioural theory is typically developed on the double time axis. On the other hand it is known that there are intrinsic difficulties with double time axis theorems in the in...
186
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
—We propose a new approach to evaluate the ultimate performance limit of time synchronization in wireless sensor networks based on the estimation theory. In particular the lower ...
192
click to vote
STOC
1989
ACM
15 years 10 months ago
1989
ACM
We present a randomised polynomial time algorithm for approximating the volume of a convex body K in n-dimensional Euclidean space. The proof of correctness of the algorithm relie...
153
click to vote
MPC
1998
Springer
15 years 10 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
154
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...