1052 search results - page 36 / 211 » The Regular Real-Time Languages |
ECOOP
2003
Springer
15 years 8 months ago
2003
Springer
145
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Electrical Vehicles are gaining increasing attention, due to the opportunities and challenges they present for the energy market. On the one hand, they will allow to drastically r...
137
Voted
CADE
2005
Springer
16 years 3 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...
123
Voted
PODS
2010
ACM
15 years 8 months ago
2010
ACM
XML Schema Definitions (XSDs) can be adequately abstracted by the single-type regular tree languages. It is wellknown, that these form a strict subclass of the robust class of re...