803 search results - page 96 / 161 » A Query Language for Logic Architectures |
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
ECOOP
1995
Springer
13 years 11 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
OTM
2007
Springer
14 years 1 months ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
In this article we provide an embedding of an interaction-based service notion into UML2. Such an embedding is needed, because to this date, UML2 has only limited support for servi...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we introduce a framework to supplement and tag computerized CPG with related best-evidence automatically sourced from on-line medical literature repositories. The id...