1548 search results - page 208 / 310 » Semantics and Extensions of WS-Agreement |
237
click to vote
SSD
1993
Springer
15 years 10 months ago
1993
Springer
Topological relationships between spatial objects represent important knowledge that users of geographic information systems expect to retrieve from a spatial database. A di cult t...
169
click to vote
PLILP
1992
Springer
15 years 10 months ago
1992
Springer
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...
163
click to vote
SC
1992
ACM
15 years 10 months ago
1992
ACM
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...
164
click to vote
PODS
1990
ACM
15 years 10 months ago
1990
ACM
Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...
171
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...