662 search results - page 9 / 133 » Trees, Automata and XML |
70
Voted
IRI
2008
IEEE
15 years 4 months ago
2008
IEEE
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
67
Voted
LICS
1996
IEEE
15 years 1 months ago
1996
IEEE
In the automata-theoretic approach to verification, we translate specifications to automata. Complexity considerations motivate the distinction between different types of automata...
87
Voted
LATA
2009
Springer
15 years 4 months ago
2009
Springer
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a rest...
63
Voted
SIGMOD
2002
ACM
15 years 9 months ago
2002
ACM
151
Voted
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
Hardware cache behavior is an important factor in the performance of memory-resident, data-intensive systems such as XML filtering engines. A key data structure in several recent ...