2214 search results - page 187 / 443 » complexity 2004 |
140
click to vote
EUROPAR
2004
Springer
15 years 8 months ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
108
Voted
EWSA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
113
Voted
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Web Services offer a widespread standard for making services available on the Internet. Of particular interest is the possibility of composing existing distributed servi...
118
Voted
FLOPS
2004
Springer
15 years 8 months ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
123
Voted
FMCO
2004
Springer
15 years 8 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 ...