1087 search results - page 97 / 218 » The DecideIT Decision Tool |
ANOR
2005
13 years 7 months ago
2005
Column generation has become a powerful tool in solving large scale integer programs. It is well known that most of the often reported compatibility issues between pricing subprobl...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The emergence of new higher education institutions has created the competition in higher education market, and data warehouse can be used as an effective technology tools for incr...
IMC
2010
ACM
13 years 5 months ago
2010
ACM
Large scale active measurement of the Internet requires appropriate software support. The better tools that we have for executing consistent and systematic measurements, the more ...
SOCIALCOM
2010
13 years 5 months ago
2010
In recent years, several researchers have proposed techniques for providing users with assistance in understanding and overcoming authorization denials. The incorporation of envir...
VSTTE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...