1087 search results - page 22 / 218 » The DecideIT Decision Tool |
IV
2002
IEEE
14 years 13 days ago
2002
IEEE
In this paper a visual tool for comparing different mountain pine-beetle management approaches is presented. This comparison tool gives the users the possibility of viewing their ...
FASE
2000
Springer
13 years 11 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
GECCO
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. Human-based genetic algorithms are powerful tools for organizational modeling. If we enhance them using chance discovery techniques, we obtain an innovative approach for ...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Supplier Relationship Management (SRM) is an application that gives support to a company in the task of deciding which supplier to choose when a new supply has to be ordered. It i...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...