Australian Computer Journal, Volume 30

Volume 30, Number 1, 1998

Jo Coldwell, Graham Wrightson: Analytic Tableaux and Model Elimination. 1-11
Yuung-Jih Chen, Shi-Jinn Horng, Tzong-Wann Kao, Horng-Ren Tsai: Parallel Algorithm for the Medial Axis Transform of Binary Images. 12-19
Ronald T. House: Attributes: Giving the Programmer Control Over Static Type Checking. 20-29
Kang Zhang, Da-Qian Zhang: Instrumenting Parallel Programs for Performance Visualisation. 30-38

Arkady B. Zaslavsky, Zahir Tari: Mobile Computing: Overview and Current Status. 42-52
Xun Qu, Jeffrey Xu Yu: A Performance Study of Mobile TCP/IP Solutions. 53-64
X. D. Zhou, Arkady B. Zaslavsky, Aamir Rasheed, Rosanne Price: Efficient Object-Oriented Query Optimisation in Mobile Computing Environment. 65-76
H. Chung, Haengrae Cho: Data Caching with Incremental Update Propagation in Mobile Computing Environments. 77-86
Omran A. Bukhres, Merrick Mossman, Stuart Morton: Mobile Medical Database Approach for Battlefield Environments. 87-95

Daniel L. Moody, Graeme G. Shanks: What Makes a Good Data Model? A Framework for Evaluating and Improving the Quality of Entity Relationship Models. 97-110
Stanislaw P. Maj, G. Robbins, David T. Shaw, K. W. Duley: Computer and Network Installation, Maintenance and Management - A Proposed New Curriculum for Undergraduates and Postgraduates. 111-119

Graeme G. Shanks, Peta Darke: Understanding Data Quality in a Data Warehouse. 122-128
Daniel L. Moody, Graeme G. Shanks: Improving the Quality of Entity Relationship Models: An Action Research Programme. 129-138
Judy McKay: Using Cognitive Mapping to Achieve Shared Understanding in Information Requirements Determination. 139-145
Martin Ellison, G. Michael McGrath: Recording and Analysing Business Processes: An Activity Theory Based Approach. 146-152