4126 search results - page 464 / 826 » Set based logic programming |
147
click to vote
JUCS
2008
15 years 4 months ago
2008
: In this paper, we present a model-based tool for product derivation. Our tool is centered on the definition of three models (feature, architecture and configuration models) which...
136
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— Evolutionary multi-objective optimization algorithms are commonly used to obtain a set of non-dominated solutions for over a decade. Recently, a lot of emphasis have be...
115
click to vote
IWPC
2003
IEEE
15 years 9 months ago
2003
IEEE
Large industrial legacy systems are challenges of reverseengineering activities. Reverse-engineering approaches use text-search tools based on regular expressions or work on prese...
142
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
121
click to vote
EAAI
2007
15 years 4 months ago
2007
In the paper an application of the interval fuzzy model (INFUMO) in fault detection for nonlinear systems with uncertain intervaltype parameters is presented. A confidence band f...