1661 search results - page 196 / 333 » Advanced carving techniques |
167
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
Examining the quality of a set of requirements is a sensible project health check given their role in the engineering of quality software systems. However, not all project stakeho...
186
click to vote
ADBIS
2009
Springer
16 years 1 months ago
2009
Springer
Continuous queries applied over nonterminating data streams usually specify windows in order to obtain an evolving –yet restricted– set of tuples and thus provide timely result...
166
click to vote
CPAIOR
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. In constraint programming there are often many choices regarding the propagation method to be used on the constraints of a problem. However, simple constraint solvers usu...
184
click to vote
ESA
2009
Springer
16 years 29 days ago
2009
Springer
Consider the robust network design problem of finding a minimum cost network with enough capacity to route all traffic demand matrices in a given polytope. We investigate the impa...
127
click to vote
FMCAD
2009
Springer
16 years 29 days ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...