2933 search results - page 241 / 587 » Agent-Grid Integration Language |
134
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. The Scheme language report advocates language design as the composition of a small set of orthogonal constructs, instead of a large accumulation of features. In this pape...
160
click to vote
POPL
1999
ACM
15 years 8 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
124
click to vote
WWW
2001
ACM
16 years 4 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
116
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
139
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...