40 search results - page 2 / 8 » wise 2009 |
ASUNAM
2009
IEEE
13 years 11 months ago
2009
IEEE
ICC
2009
IEEE
13 years 2 months ago
2009
IEEE
-- We develop a new integer linear programming model to optimally design demand-wise shared protection (DSP) networks to achieve specified minimum levels of dual-failure restorabil...
ICDE
2009
IEEE
14 years 6 months ago
2009
IEEE
Workflows are widely used for representing business processes, web services, scientific experiments, and activities in daily life, like recipes. There is an increasing need for peo...
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
Program analysis and automated test generation have primarily been used to find correctness bugs. We present complexity testing, a novel automated test generation technique to ...
ICLP
2009
Springer
14 years 5 months ago
2009
Springer
We present an implementation of table constraints in CLP(FD). For binary constraints, the supports of each value are represented as a finite-domain variable, and action rules are u...