662 search results - page 70 / 133 » Trees, Automata and XML |
158
click to vote
SIS
2004
15 years 7 months ago
2004
Abstract. Sometimes there is a need to store sensitive data on an untrusted database server. Song, Wagner and Perrig have introduced a way to search for the existence of a word in ...
148
click to vote
RTA
2007
Springer
16 years 6 days ago
2007
Springer
The use of automata techniques to prove the termination of string rewrite systems and left-linear term rewrite systems is advocated by Geser et al. in a recent sequence of papers. ...
157
click to vote
TCS
2002
15 years 5 months ago
2002
An operation M which constructs from a given structure M a tree-like structure whose domain consists of the finite sequences of elements of M is considered. A notion of automata r...
166
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
We prove that, if the initial knowledge of the intruder is given by a deterministic bottom-up tree automaton, then the insecurity problem for cryptographic protocols with atomic ke...
167
click to vote
ITNG
2006
IEEE
16 years 3 days ago
2006
IEEE
In this paper, still images are modeled by hierarchical tree structures and object relational graphs. These modeling concepts can be described naturally using XML schema. We intro...