3844 search results - page 712 / 769 » Modular interpreted systems |
137
Voted
ICLP
1997
Springer
15 years 6 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
130
click to vote
ECCV
1994
Springer
15 years 6 months ago
1994
Springer
This paper describes a new approach to the integration and control of continuously operating visual processes. Visual processes are expressed as transformations which map signals ...
165
Voted
PODC
1994
ACM
15 years 6 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
178
click to vote
POPL
1994
ACM
15 years 6 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
112
click to vote
CAISE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Data Warehouse (DWH) systems are used by decision makers for performance measurement and decision support. Currently the main focus of the DWH research field is not as mu...