1174 search results - page 145 / 235 » A Logical Approach to Abstract Algebra |
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
WEBDB
2001
Springer
15 years 2 months ago
2001
Springer
In this paper, we propose to use database technology to improve performance of web proxy servers. We view the cache at a proxy server as a web warehouse with data organized in a h...
DLOG
2011
14 years 1 months ago
2011
The detection of changes between OWL ontologies is an important service for ontology engineering. There are several approaches to this problem, both syntactic and semantic. A purel...
105
click to vote
CORR
2004
Springer
14 years 9 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
AIMSA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The problem of finding an agreement on the meaning of heterogeneous schemas is one of the key issues in the development of the Semantic Web. In this paper, we propose a ...