958 search results - page 76 / 192 » Model Transformation Languages and Their Implementation by B... |
129
click to vote
CADE
2004
Springer
16 years 1 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
110
click to vote
PLDI
1996
ACM
15 years 5 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
104
click to vote
ECMDAFA
2005
Springer
15 years 7 months ago
2005
Springer
The application of MDA to Web services has recently received considerable attention. Similar to UML diagrams, Web services are specialised languages each one targeting a specific a...
106
click to vote
CHI
2005
ACM
16 years 1 months ago
2005
ACM
Sign languages have been proven to be natural languages, as capable of expressing human thoughts and emotions as traditional languages are. The distinct visual and spatial nature ...
111
click to vote
JOLLI
2007
15 years 1 months ago
2007
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...