2974 search results - page 442 / 595 » Model-Driven Constraint Programming |
192
click to vote
CP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that a technique called randomi...
231
click to vote
IFIP
2007
Springer
16 years 17 days ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
161
click to vote
IFIP
2007
Springer
16 years 17 days ago
2007
Springer
The paper deals with the numerical treatment of optimal control problems with bounded distributed controls and elliptic state equations by a wider class of barrier-penalty methods...
171
click to vote
IPSN
2007
Springer
16 years 17 days ago
2007
Springer
Mobile phones have two sensors: a camera and a microphone. The widespread and ubiquitous nature of mobile phones around the world makes it attractive to build a large-scale sensor...
161
click to vote
LFCS
2007
Springer
16 years 17 days ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...