1950 search results - page 244 / 390 » Lambda-Free Logical Frameworks |
189
click to vote
INEX
2005
Springer
16 years 1 days ago
2005
Springer
Retrieving information from heterogeneous data sources in a flexible manner and within a single (database) framework is still a challenge. In this paper we present several extensi...
185
click to vote
LPNMR
2005
Springer
16 years 1 days ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
172
click to vote
SEKE
2005
Springer
16 years 1 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
151
click to vote
SEMWEB
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
167
click to vote
SEMWEB
2005
Springer
16 years 1 days ago
2005
Springer
Semantic query optimization (SQO) has been proved to be quite useful in various applications (e.g., data integration, graphical query generators, caching, etc.) and has been extens...