759 search results - page 98 / 152 » Odometers on Regular Languages |
ECOOP
2005
Springer
15 years 3 months ago
2005
Springer
Most modern programming systems such as Java allow us to link independently developed components together dynamically. This makes it possible to develop and deploy software on a pe...
FCT
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
IJCNLP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Lexical Conceptual Structure (LCS) represents verbs as semantic structures with a limited number of semantic predicates. This paper attempts to exploit how LCS can be use...
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
ICDCSW
2002
IEEE
15 years 2 months ago
2002
IEEE
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...