500 search results - page 19 / 100 » Streaming tree automata |
VLDB
2004
ACM
14 years 28 days ago
2004
ACM
INFORMATIKTAGE
2008
13 years 9 months ago
2008
LICS
2002
IEEE
14 years 15 days ago
2002
IEEE
We study relations on trees defined by first-order constraints over a vocabulary that includes the tree extension relation Ì Ì ¼, holding if and only if every branch of Ì ex...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
CAV
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. The underground malware-based economy is flourishing and it is evident that the classical ad-hoc signature detection methods are becoming insufficient. Malware authors ...