3207 search results - page 461 / 642 » A Semantics for HTN Methods |
170
click to vote
FMCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
201
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
128
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules incl...
161
click to vote
HSNMC
2004
Springer
15 years 11 months ago
2004
Springer
Network management is an area where many different technologies coexist. Several languages are used to define the information to be managed, which are specific of each management m...
166
click to vote
ISOLA
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, vari...