947 search results - page 151 / 190 » Declarative Programming in Prolog |
MOZ
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...
98
Voted
ISSRE
2002
IEEE
15 years 2 months ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
75
Voted
MPC
1998
Springer
15 years 1 months ago
1998
Springer
A nested datatype, also known as a non-regular datatype, is a parametrised datatype whose declaration involves different instances of the accompanying type parameters. Nested datat...
CSCW
1996
ACM
15 years 1 months ago
1996
ACM
This paper introduces COAST, an object-oriented toolkit for the development of synchronous groupware, which enhances the usability and simplifies the development of such applicati...
ESWS
2007
Springer
15 years 1 months ago
2007
Springer
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...