6016 search results - page 820 / 1204 » The semantics of graphical languages |
169
click to vote
FOSSACS
2009
Springer
16 years 2 months ago
2009
Springer
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...
192
click to vote
RTSS
2009
IEEE
16 years 2 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...
176
click to vote
OTM
2009
Springer
16 years 2 months ago
2009
Springer
As archives contain documents that span over a long period of time, the language used to create these documents and the language used for querying the archive can differ. This di...
206
click to vote
PPDP
2009
Springer
16 years 2 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...
205
click to vote
CICLING
2007
Springer
16 years 1 months ago
2007
Springer
Although the literature contains reports of very high accuracy figures for the recognition of named entities in text, there are still some named entity phenomena that remain probl...