1644 search results - page 160 / 329 » Finding Dominators in Practice |
WLP
2004
Springer
14 years 2 months ago
2004
Springer
Constraint programming provides a declarative approach to solving combinatorial (optimization) problems. The user just states the problem as a constraint satisfaction problem (CSP)...
XPU
2004
Springer
14 years 2 months ago
2004
Springer
As with to other agile methods, which value "Individuals and interactions over processes and tools" (http://agilemanifesto.org/), Extreme Programming (XP) cares about th...
ACSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
Routers are critical components of IP networks, but hardly any tool support for analyzing their security exists to date. We have developed such a tool, named CROCODILE, that track...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
The objective of this research is to test a model of electronic procurement (e-procurement) adoption behavior by Small- to Medium-sized Enterprises (SME). We investigate the pheno...
CAV
2003
Springer
14 years 2 months ago
2003
Springer
ion and BDDs Complement SAT-based BMC in DiVer Aarti Gupta1, Malay Ganai1 , Chao Wang2, Zijiang Yang1, Pranav Ashar1 1 NEC Laboratories America, Princeton, NJ, U.S.A. 2 University ...