Sciweavers

749 search results - page 129 / 150
» Dualities for Constraint Satisfaction Problems
Sort
View
CIMCA
2006
IEEE
14 years 4 months ago
A Knowledge-based Security Policy Framework for Business Process Management
Business Process Management (BPM) is often a key component of the business change. Business rules, whether embedded within BPM or on their own, have begun playing an ever-increasi...
Dong Huang, Yi Yang, Jacques Calmet
BMVC
2002
14 years 14 days ago
A Qualitative, Multi-scale Grammar For Image Description and Analysis
A qualitative image description grammar with automatic image fitting and object modelling algorithms is presented. The grammar is based on assigning a square sub-region of an imag...
Derek R. Magee
SPLC
2008
13 years 11 months ago
Automated Diagnosis of Product-Line Configuration Errors in Feature Models
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Conf...
Jules White, Douglas C. Schmidt, David Benavides, ...
AAAI
1996
13 years 11 months ago
Qualitative Multiple-Fault Diagnosis of Continuous Dynamic Systems Using Behavioral Modes
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
Siddarth Subramanian, Raymond J. Mooney
JSS
2010
136views more  JSS 2010»
13 years 4 months ago
Automated diagnosis of feature model configurations
Software product-lines (SPLs) are software architectures that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rul...
Jules White, David Benavides, Douglas C. Schmidt, ...