2713 search results - page 85 / 543 » Parameterized Tree Systems |
73
Voted
DAM
2007
15 years 23 days ago
2007
We point out several security flaws in the cryptosystem based on tree replacement systems proposed by Samuel, Thomas, Abisha and Subramanian at INDOCRYPT 2002. Due to the success...
104
Voted
CADE
2001
Springer
15 years 5 months ago
2001
Springer
The dependency pair method of Arts and Giesl is the most powerful technique for proving termination of term rewrite systems automatically. We show that the method can be improved b...
81
Voted
GPCE
2008
Springer
15 years 1 months ago
2008
Springer
Extensive research efforts have been devoted to implement a group of type-safe mutually recursive classes; recently, proposals for separating each member of the group as a reusabl...
QEST
2008
IEEE
15 years 7 months ago
2008
IEEE
75
Voted
ICEIS
2007
IEEE
15 years 2 months ago
2007
IEEE