Sciweavers

1705 search results - page 17 / 341
» Representing Constraints with Automata
Sort
View
ICTAC
2004
Springer
15 years 3 months ago
Verifying Linear Duration Constraints of Timed Automata
Pham Hong Thai, Dang Van Hung
EURODAC
1994
IEEE
106views VHDL» more  EURODAC 1994»
15 years 1 months ago
Scheduling with Environmental Constraints based on Automata Representations
Jerry Chih-Yuan Yang, Giovanni De Micheli, Maurizi...
CORR
2008
Springer
93views Education» more  CORR 2008»
14 years 9 months ago
Visibly Tree Automata with Memory and Constraints
Hubert Comon-Lundh, Florent Jacquemard, Nicolas Pe...
SCP
2010
172views more  SCP 2010»
14 years 8 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier