16216 search results - page 57 / 3244 » Effective Modeling with Constraints |
161
click to vote
CONSTRAINTS
2008
15 years 6 months ago
2008
The tree constraint partitions a directed graph into node-disjoint trees. In many practical applications that involve such a partition, there exist side constraints specifying requ...
169
click to vote
BMAS
2000
IEEE
15 years 10 months ago
2000
IEEE
In contrast to classical object-oriented electromechanical modeling, i.e. describing plates, suspensions, drives etc. [4], this paper proposes to combine models of basic physical ...
154
click to vote
FMOODS
2007
15 years 7 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
166
click to vote
ENDM
2000
15 years 6 months ago
2000
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
168
click to vote
ANOR
2011
15 years 1 months ago
2011
This article deals with the resolution of over-constrained problems using constraint programming, which often imposes to add to the constraint network new side constraints. These ...