Sciweavers

1000 search results - page 18 / 200
» Dependency Tree Automata
Sort
View
RTAS
2003
IEEE
14 years 2 months ago
Modular Code Generation from Hybrid Automata based on Data Dependency
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
Jesung Kim, Insup Lee
FSTTCS
1998
Springer
14 years 1 months ago
Optimal Regular Tree Pattern Matching Using Pushdown Automata
Abstract. We propose a construction that augments the precomputation step of a regular tree pattern matching algorithm to include cost analysis. The matching device generated is a ...
Maya Madhavan, Priti Shankar
COORDINATION
2009
Springer
13 years 7 months ago
Automata for Context-Dependent Connectors
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
Marcello M. Bonsangue, Dave Clarke, Alexandra Silv...
CONCUR
2012
Springer
12 years 1 days ago
A Theory of History Dependent Abstractions for Learning Interface Automata
Fides Aarts, Faranak Heidarian, Frits W. Vaandrage...
PLANX
2008
13 years 11 months ago
Complexity of Earliest Query Answering with Streaming Tree Automata
We investigate the complexity of earliest query answering for n-ary node selection queries defined by streaming tree automata (STAs). We elaborate an algorithm that selects query ...
Olivier Gauwin, Anne-Cécile Caron, Joachim ...