2205 search results - page 143 / 441 » Mutation Operators for Specifications |
BPM
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
IQ
2007
13 years 10 months ago
2007
: Data quality (DQ) is emerging as a new relevant area for the improvement of the effectiveness of organizations. Despites the consequences of poor quality of data are often experi...
SPLC
2008
13 years 10 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
AAAI
1998
13 years 10 months ago
1998
Wedescribe somenewpreprocessing techniques that enable faster domain-independentplanning. Thefirst set of techniquesis aimedat inferring state constraints from the structure of pl...
WSC
2000
13 years 10 months ago
2000
Simulation models can be time-consuming to build and often multiple models are built to simulate similar systems that have small differences. While developing a model to evaluate ...