This paper describes the integration of the Personal Software Process (PSP) into an introductory database course in an MIS curriculum. PSP is a highly disciplined, process-based a...
As the scope of computer science continues to expand and move further into inter-disciplinary research, we see communication skills development (CSD) gain prominence in tertiary c...
A data warehouse collects and integrates data from multiple, autonomous, heterogeneous, sources. The warehouse e ectively maintains one or more materialized views over the source ...
Janet L. Wiener, Himanshu Gupta, Wilburt Labio, Yu...
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
We present Waterhouse, a system for sending and receiving cryptographically protected electronic mail ("secure e-mail"). We show how an existing e-mail interface can be ...
Alex P. Lambert, Stephen M. Bezek, Karrie Karahali...