4047 search results - page 509 / 810 » Algebraic Model Checking |
187
click to vote
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
165
click to vote
IEAAIE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
193
click to vote
SSDBM
1998
IEEE
15 years 11 months ago
1998
IEEE
We address the issue of designing effective query languages for OLAP databases. The basis of our investigation is MD, a new data model for multidimensional databases that, unlike ...
223
click to vote
ER
1992
Springer
15 years 10 months ago
1992
Springer
In this paper, we address the problem of supporting more exibility on the schema of object-oriented databases. We describe a general framework based on an object-oriented data mode...
178
click to vote
TYPES
2000
Springer
15 years 10 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...