2944 search results - page 216 / 589 » On Well Quasi-orders on Languages |
173
click to vote
CICLING
2010
Springer
16 years 1 months ago
2010
Springer
In practice, lexical chains are typically built using term reiteration or resource-based measures of semantic distance. The former approach misses out on a significant portion of ...
163
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
171
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol. In previous work we analyzed the sch...
132
click to vote
OTM
2009
Springer
16 years 1 months ago
2009
Springer
Natural language-based conceptual modelling as well as the use of diagrams have been essential components of fact-oriented modelling from its inception. However, transforming natur...
171
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...