1164 search results - page 153 / 233 » Type based service composition |
141
Voted
FPCA
1995
15 years 7 months ago
1995
In functional programming, intermediate data structures are often used to “glue’) together small programs. Deforestation is a program transformation to remove these intermedia...
149
Voted
PPSC
1997
15 years 4 months ago
1997
We present the preliminary design for a C++ template library to enable the compositional construction of matrix classes suitable for high performance numerical linear algebra comp...
132
Voted
JANCL
2007
15 years 3 months ago
2007
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
260
Voted
AMW
2011
14 years 7 months ago
2011
Subqueries are a poweful feature which allows to enforce reuse, composition, rewriting and optimization in a query language. In this paper we perform a comprehensive study of the i...
129
Voted
JNW
2006
15 years 3 months ago
2006
Recently, the use of wireless sensor networks has spread to applications areas that are not viable or costefficient to be run on other types of networks. Due to some critical tasks...