The development of a highly configurable data management system is a challenging task, especially if it is to be implemented on an embedded system that provides limited resources...
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
We derive second-order expressions for the asymptotic bias and variance of the log relative incidence estimator for the self-controlled case series method in a simplified scenario...
Patrick Musonda, Mounia N. Hocine, Heather J. Whit...
Computer forensics is a relatively new, but growing, field of study at the undergraduate college and university level. This paper describes some of the course design aspects of te...
The paper uses a case example to present a novel way of building enterprise information systems. The objective is to bring forth the benefits of an item centric systems design in ...