1278 search results - page 144 / 256 » On the Semantics of Logic Program Composition |
HYBRID
2010
Springer
13 years 7 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
PLDI
2009
ACM
14 years 1 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
SIGMOD
2009
ACM
14 years 9 months ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...
DALT
2004
Springer
14 years 2 months ago
2004
Springer
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid...
ATAL
2000
Springer
14 years 1 months ago
2000
Springer
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a li...