1304 search results - page 91 / 261 » An Integrated Solver for Optimization Problems |
WG
1998
Springer
15 years 2 months ago
1998
Springer
We study the integral uniform (multicommodity) flow problem in a graph G and construct a fractional solution whose properties are invariant under the action of a group of automorp...
ADBIS
2008
Springer
14 years 11 months ago
2008
Springer
Integration processes are increasingly used in order to integrate distributed and heterogeneous systems. Although transactional behavior of workflows has been discussed extensively...
155
click to vote
ICDE
2000
IEEE
15 years 11 months ago
2000
IEEE
Execution plans produced by traditional query optimizers for data integration queries may yield poor performance for several reasons. The cost estimates may be inaccurate, the mem...
114
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
ETFA
2005
IEEE
15 years 3 months ago
2005
IEEE
Global competition has given rise to Logistic and Production Systems (LPSs), that are distributed manufacturing systems integrating international logistics and information technol...