576 search results - page 21 / 116 » XML-RL Update Language |
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the decidability and complexity of various model checking problems over one-counter automata. More specifically, we consider succinct one-counter automata, in which...
117
click to vote
ICMT
2010
Springer
15 years 5 months ago
2010
Springer
Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of origin...
87
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Matsuda et al. [2007, ICFP] and Voigtl
119
Voted
TOOLS
1997
IEEE
15 years 6 months ago
1997
IEEE
PROPAGATOR is a family of patterns for consistently updating objects in a dependency network. The propagator patterns are found in such diverse applications as MAKE, WWW, spreadsh...
129
Voted
ALT
1997
Springer
15 years 5 months ago
1997
Springer
A pattern is a string of constant and variable symbols. The language generated by a pattern is the set of all strings of constant symbols which can be obtained from by substituti...