67 search results - page 5 / 14 » Linear Invariant Generation Using Non-linear Constraint Solv... |
CONSTRAINTS
2008
13 years 7 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...
IASTEDSE
2004
13 years 8 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
CADE
2010
Springer
13 years 8 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
ISAAC
2003
Springer
14 years 18 days ago
2003
Springer
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...
CDC
2009
IEEE
14 years 3 days ago
2009
IEEE
— The task in control allocation is to determine how to generate a specified generalized force from a redundant set of control effectors where the associated actuator control in...