Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
During the last decades software architecture has become increasingly important for companies creating competitive product structures. Recently more and more attention has also be...
Applying standard requirements engineering (RE) processes is a major trend in today's Enterprise Resource Planning (ERP) software engineering. It emerged five years ago with ...
—Performance of cross-layer protocols that recommend the relay of corrupted packets to higher layers can be improved significantly by accurately inferring/predicting the bit erro...
Shirish S. Karande, Syed A. Khayam, Yongju Cho, Ki...
We discuss the physiological metrics that can be measured with electroencephalography (EEG) and functional near infrared spectroscopy (fNIRs). We address the functional and practic...
Leanne M. Hirshfield, Krysta Chauncey, Rebecca Gul...