4451 search results - page 198 / 891 » On Random Ordering Constraints |
155
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We extend the framework of mixed multi-unit combinatorial auctions to include time constraints, present an expressive bidding language, and show how to solve the winner determinati...
139
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We propose a middleware framework for deployment and subsequent autonomic management of component-based applications. An initial deployment goal is specified using a declarative c...
172
click to vote
ENTCS
2007
15 years 5 months ago
2007
The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-fr...
150
click to vote
IANDC
2007
15 years 5 months ago
2007
We consider an extension of linear-time temporal logic (LTL) with constraints interpreted over a concrete domain. We use a new automata-theoretic technique to show pspace decidabi...
169
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tab...