1000 search results - page 45 / 200 » Dependency Tree Automata |
120
click to vote
FORMATS
2008
Springer
15 years 1 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
TCC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a public-key encryption scheme with the following properties. Given a branching program P and an encryption c of an input x, it is possible to efficiently com...
99
Voted
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
Grafted trees are trees that are constructed using two methods. The first method creates an initial tree, while the second method is used to complete the tree. In this work, the fi...
111
click to vote
SIGCSE
1997
ACM
15 years 4 months ago
1997
ACM
We present a collection of new and enhanced tools for experimenting with concepts in formal languages and automata theory. New tools, written in Java, include JFLAP for creating a...
RTA
2007
Springer
15 years 6 months 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. ...