3207 search results - page 461 / 642 » A Semantics for HTN Methods |
193
Voted
FMCO
2004
Springer
16 years 12 days 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 ...
231
Voted
FOSSACS
2004
Springer
16 years 12 days 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...
135
click to vote
GG
2004
Springer
16 years 12 days 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...
178
click to vote
HSNMC
2004
Springer
16 years 12 days 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...
188
Voted
ISOLA
2004
Springer
16 years 12 days 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...