1548 search results - page 163 / 310 » Semantics and Extensions of WS-Agreement |
KR
1992
Springer
14 years 2 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
POPL
2011
ACM
13 years 1 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
EFDBS
2001
13 years 11 months ago
2001
In this work, we consider augmenting SQL with constructs allowing dynamic restructuring. Dynamic restructuring occurs naturally in a framework including second-order capabilities f...
DEBS
2008
ACM
14 years 3 days ago
2008
ACM
This paper defines and discusses the implementation of two novel extensions to the Siena Content-based Network (CBN) to extend it to become a Knowledge-based Network (KBN) thereby...
SIGADA
2005
Springer
14 years 3 months ago
2005
Springer
Concerns for concurrent systems are not always easy to modularize within single units using traditional programming languages. The concept of aspect orientation can be applied to ...