1246 search results - page 44 / 250 » Recursive Timed Automata |
102
click to vote
ARTS
1999
Springer
15 years 5 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
102
Voted
IANDC
2006
15 years 21 days ago
2006
We provide machine-independent characterizations of some complexity classes, over an arbitrary structure, in the model of computation proposed by L. Blum, M. Shub and S. Smale. We...
92
Voted
ITICSE
1997
ACM
15 years 4 months ago
1997
ACM
A programming exercise on recursion in which students create drawings of simple and bracketed Lindenmayer Systems provides a context for exploring additional computer science conc...
101
click to vote
FSTTCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
101
click to vote
ATVA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...