Sciweavers

750 search results - page 116 / 150
» Declarative event-oriented programming
Sort
View
SIGMOD
2004
ACM
110views Database» more  SIGMOD 2004»
14 years 1 months ago
Liquid Data for WebLogic: Integrating Enterprise Data and Services
Information in today’s enterprises commonly resides in a variety of heterogeneous data sources, including relational databases, web services, files, packaged applications, and c...
Vinayak R. Borkar
DALT
2004
Springer
14 years 1 months ago
Theories of Intentions in the Framework of Situation Calculus
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robe...
MOZ
2004
Springer
14 years 1 months ago
The XDG Grammar Development Kit
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...
Ralph Debusmann, Denys Duchier, Joachim Niehren
ISSRE
2002
IEEE
14 years 18 days ago
A Flexible Generator Architecture for Improving Software Dependability
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...
Christof Fetzer, Zhen Xiao
MPC
1998
Springer
83views Mathematics» more  MPC 1998»
13 years 12 months ago
Nested Datatypes
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...
Richard S. Bird, Lambert G. L. T. Meertens