178 search results - page 16 / 36 » Executive views concerning decision support tools |
DKE
2000
13 years 7 months ago
2000
: Large information bases that are used by several different users and applications accommodate the demands of their users more effectively, if they can be split into possibly over...
TOOLS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Software Visualization encompasses the development and evaluation of methods for graphically representing different aspects of methods of software, including its structure, execut...
STTT
2008
13 years 7 months ago
2008
Military logistics concerns the activities required to support operational forces. It encompasses the storage and distribution of materiel, management of personnel and the provisio...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...