7092 search results - page 1038 / 1419 » Parallelizing constraint programs |
246
click to vote
IFIP
2007
Springer
16 years 28 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...
168
click to vote
IFIP
2007
Springer
16 years 28 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...
177
click to vote
IPSN
2007
Springer
16 years 28 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...
171
click to vote
LFCS
2007
Springer
16 years 28 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...
161
click to vote
NETCOOP
2007
Springer
16 years 28 days ago
2007
Springer
In shortest path routing, traffic is routed along shortest paths defined by link weights. However, not all path systems are feasible in that they can be realized in this way. This...