Sciweavers

2214 search results - page 336 / 443
» Complexity of Reasoning
Sort
View
120
Voted
SERVICES
2008
77views more  SERVICES 2008»
15 years 4 months ago
Dynamic Service Substitution in Service-Oriented Architectures
The problem we deal with in this paper is the dynamic substitution of stateful services that become unavailable during the execution of service orchestrations. Previous research e...
Manel Fredj, Nikolaos Georgantas, Valérie I...
SEBD
2007
148views Database» more  SEBD 2007»
15 years 4 months ago
Containment of Conjunctive Object Meta-Queries
We consider the problem of query containment over an object data model derived from F-logic. F-logic has generated considerable interest commercially, in the academia, and within ...
Andrea Calì, Michael Kifer
WICSA
2008
15 years 4 months ago
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
Zhiming Chang, XinJun Mao, Zhichang Qi
AAAI
2006
15 years 4 months ago
DNNF-based Belief State Estimation
As embedded systems grow increasingly complex, there is a pressing need for diagnosing and monitoring capabilities that estimate the system state robustly. This paper is based on ...
Paul Elliott, Brian C. Williams
AAAI
2004
15 years 4 months ago
High-Level Goal Recognition in a Wireless LAN
Plan recognition has traditionally been developed for logically encoded application domains with a focus on logical reasoning. In this paper, we present an integrated plan-recogni...
Jie Yin, Xiaoyong Chai, Qiang Yang