Sciweavers

77016 search results - page 687 / 15404
» Modelling
Sort
View
SARA
2007
Springer
16 years 1 months ago
Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
Ian P. Gent, Ian Miguel, Andrea Rendl
VAMOS
2007
Springer
16 years 1 months ago
DecisionKing: A Flexible and Extensible Tool for Integrated Variability Modeling
Variability modeling is at the heart of product line engineering. Variability models entail features and architectural elements, technical customization aspects, sales and marketi...
Deepak Dhungana, Paul Grünbacher, Rick Rabise...
VAMOS
2007
Springer
16 years 1 months ago
Challenges in the Application of Feature Modelling in Fixed Line Telecommunications
The global telephone system is a complex transmission network, the features of which are defined to a very high level by ITU-T standards. It is therefore a prime candidate at whi...
Charles Gillan, Peter Kilpatrick, Ivor T. A. Spenc...
WSFM
2007
Springer
16 years 1 months ago
Controlling Petri Net Process Models
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a ...
Jörg Desel
DATE
2006
IEEE
85views Hardware» more  DATE 2006»
16 years 1 months ago
Test set enrichment using a probabilistic fault model and the theory of output deviations
— We present a probabilistic fault model that allows any number of gates in an integrated circuit to fail probabilistically. Tests for this fault model, determined using the theo...
Zhanglei Wang, Krishnendu Chakrabarty, Michael G&o...
« Prev « First page 687 / 15404 Last » Next »