Sciweavers

2702 search results - page 63 / 541
» constraints 2008
Sort
View
CAV
2008
Springer
125views Hardware» more  CAV 2008»
15 years 6 months ago
Application of Formal Word-Level Analysis to Constrained Random Simulation
Abstract. Constrained random simulation is supported by constraint solvers integrated within simulators. These constraint solvers need to be fast and memory efficient to maintain s...
Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spac...
BIS
2008
86views Business» more  BIS 2008»
15 years 6 months ago
Specifying Separation of Duty Constraints in BPEL4People Processes
Abstract. Security issues have to be carefully considered for information systems that support the business processes of an organization, in particular, when these systems build on...
Jan Mendling, Karsten Ploesser, Mark Strembeck
124
Voted
SCL
2008
95views more  SCL 2008»
15 years 4 months ago
Performance bounds in linear control of unstable MIMO systems with pole location constraint
This paper proposes a methodology to compute quadratic performance bounds when the closed loop poles of a discrete-time multivariable control loop are confined to a disk, centred ...
Andrés A. Peters, Mario E. Salgado, Eduardo...
120
Voted
SIAMJO
2008
93views more  SIAMJO 2008»
15 years 4 months ago
Stochastic Programs with First-Order Dominance Constraints Induced by Mixed-Integer Linear Recourse
We propose a new class of stochastic integer programs whose special features are dominance constraints induced by mixed-integer linear recourse. For these models, we establish clo...
Ralf Gollmer, Frederike Neise, Rüdiger Schult...
SIAMJO
2008
97views more  SIAMJO 2008»
15 years 4 months ago
New Formulations for Optimization under Stochastic Dominance Constraints
Stochastic dominance constraints allow a decision-maker to manage risk in an optimization setting by requiring their decision to yield a random outcome which stochastically domina...
James Luedtke