16216 search results - page 57 / 3244 » Effective Modeling with Constraints |
138
click to vote
CONSTRAINTS
2008
15 years 4 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...
138
click to vote
BMAS
2000
IEEE
15 years 8 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 ...
120
click to vote
FMOODS
2007
15 years 5 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...
135
click to vote
ENDM
2000
15 years 3 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...
144
click to vote
ANOR
2011
14 years 11 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 ...