3468 search results - page 616 / 694 » An open logical framework |
ICN
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we propose an architecture to regulate the bandwidth usage of multimedia streams in networked virtual environments. In this architecture, intelligent proxies are pla...
ITRUST
2005
Springer
14 years 2 months ago
2005
Springer
Business Processes for Web Services are the new paradigm for lightweight enterprise integration. They cross organizational boundaries, are provided by entities that see each other ...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
MIDDLEWARE
2004
Springer
14 years 2 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
NMR
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...