1246 search results - page 21 / 250 » Recursive Timed Automata |
103
click to vote
CAV
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we show how the classical job-shop scheduling problem can be modeled as a special class of acyclic timed automata. Finding an optimal schedule corresponds, then, to n...
125
Voted
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we describe an extension of timed automata with priorities, and efficient algorithms to compute subtraction on DBMs (difference bounded matrices), needed in symbolic ...
75
Voted
EPEW
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we show how we can translate Web Services described by WS-CDL into a timed automata orchestration, and more specifically we are interested in Web services with time ...
110
Voted
COCOON
2001
Springer
15 years 5 months ago
2001
Springer
We consider generalized discrete timed automata with general linear relations over clocks and parameterized constants as clock constraints and with parameterized durations. We look...
104
Voted
FMSD
2008
15 years 22 days ago
2008
Abstract. This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start...