Title: The application of operations research techniques to the evaluation of military management information systems