Online Version - Last Updated - 13 Jan 2014 |
 |
| Home |
| |
| Procedures and Resources for Authors |
|
| Information and Resources for Volume Editors |
| |
| Orders and Subscriptions |
| |
| Published Articles |
|
| Upcoming Volumes |
| |
| Contact Us |
| |
| Useful External Links |
| |
| CRPIT Site Search |
Volume 26 - Computer Science 2004
Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand, January 2004
Australian Computer Science Communications, Vol. 26, No. 1
This volume contains the proceedings of the Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand, January 2004. Where indicated, the paper is available for download in PDF or Postscript format.
The series is published by, and most papers are copyright of, the Australian Computer Society Inc. Reproduction for academic research and not-for-profit purposes is granted provided the copyright notice on the first page of each paper is included.
| 
| ||||||||||||||||
Volume Citation
Estivill-Castro, V., Ed. (2004). Computer Science 2004. Proceedings of the Twenty-Seventh Australasian Computer Science Conference (ACSC2004). CRPIT. 26. Dunedin, New Zealand, ACS.
Papers Included in the Volume
| Allert, J.D. (2004). The Effectiveness of Innovative Approaches to CS1: Comparing Opinion to Outcome. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 151-157. |      |
| Ammerlaan, J. and Wright, D.A. (2004). Adaptive Cooperative Fuzzy Logic Controller. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 255-263. | |
| Baeza-Yates, R. (2004). Web Mining in Search Engines. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 3-4. | |
| Bell, G. and Weir, M. (2004). Forward Chaining for Robot and Agent Navigation using Potential Fields. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 265-274. | |
| Billington, J. and Han, B. (2004). Closed Form Expressions for the State Space of TCP's Data Transfer Service Operating over Unbounded Channels. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 31-39. | |
| Brodie-Tyrrell, W., Detmold, H., Falkner, K. and Munro, D.S. (2004). Garbage Collection for Storage-Oriented Clusters. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 99-108. | |
| Ciavarella, M. and Moffat, A. (2004). Lossless Image Compression Using Pixel Reordering. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 125-132. | |
| Cooper, D., Khoo, B., Konsky, B.R.v. and Robey, M. (2004). Java Implementation Verification Using Reverse Engineering. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 203-211. | |
| Dekker, A.H. and Colbert, B.D. (2004). Network Robustness and Graph Topology. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 359-368. | |
| Ditze, M., Altenbernd, P. and Loeser, C. (2004). Improving Resource Utilization for MPEG-4 Decoding in Embedded End-Devices. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 133-142. | |
| ElGindy, H. and Ferizis, G. (2004). On Improving the Memory Access Patterns During The Execution of Strassen's Matrix Multiplication Algorithm. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 109-115. | |
| Flake, S. (2004). Towards the Completion of the Formal Semantics of OCL 2.0. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 73-82. | |
| Friedrich, C. and Schreiber, F. (2004). Flexible Layering in Hierarchical Drawings with Nodes of Arbitrary Size. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 369-376. | |
| Fule, P. and Roddick, J.F. (2004). Detecting Privacy and Ethical Sensitivity in Data Mining Results. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 159-166. | |
| Garcia, S., Cannane, A. and Williams, H.E. (2004). Access-Ordered Indexes. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 7-14. | |
| Hagen, R.A., Goodwin, S.D. and Sattar, A. (2004). Code Improvements for Model Elimination Based Reasoning Systems. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 233-240. | |
| Hine, J.H. and Dagger, P. (2004). Securing Distributed Computing Against the Hostile Host. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 279-286. | |
| Hoffmann, J. and Duffert, U. (2004). Frequency Space Representation of Transitions of Quadruped Robot Gaits. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 275-278. | |
| Hogg, K., Chilcott, P., Nolan, M. and Srinivasan, B. (2004). An Evaluation of Web Services in the Design of a B2B Application. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 331-340. | |
| Holford, J.W., Caelli, W.J. and Rhodes, A.W. (2004). Using Self-Defending Objects to Develop Security Aware Applications in Java. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 341-349. | |
| Jang, D., Whigham, P. and Dick, G. (2004). On Evolving Fixed Pattern Strategies for Iterated Prisoner's Dilemma. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 241-247. | |
| Jansamak, S. and Surarerks, A. (2004). Formalization of UML Statechart Models Using Concurrent Regular Expressions. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 83-88. | |
| Larkin, J. and Stocks, P. (2004). Self-Replicating Expressions in the Lambda Calculus. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 167-173. | |
| Lester, N., Williams, H.E. and Zobel, J. (2004). In-Place versus Re-Build versus Re-Merge: Index Maintenance Strategies for Text Retrieval Systems. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 15-22. | |
| Lewis, T.W. and Powers, D.M.W. (2004). Sensor Fusion Weighting Measures in Audio-Visual Speech Recognition. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 305-314. | |
| Li, J.S.J. and Randhawa, S. (2004). Improved Video Mosaic Construction by Selecting a Suitable Subset of Video Images. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 143-149. | |
| Liu, V., Caelli, W.J., Foo, E. and Russell, S. (2004). Visually Sealed and Digitally Signed Documents. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 287-294. | |
| Lu, F. and Bubendorfer, K. (2004). A RMI Protocol for Aglets. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 249-253. | |
| Mathieson, I., Dance, S., Gorman, M., Padgham, L. and Winikoff, M. (2004). An Open Meteorological Alerting System: Issues and Solutions. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 351-358. | |
| Menon, C., Kong, C. and Lakos, C. (2004). Towards a Semantic Basis for Rosetta. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 175-184. | |
| Mickan, K., Balasubramaniam, D., Kirby, G., Morrison, R. and Zirintsis, E. (2004). Using Generative Programming to Visualise Hypercode in Complex and Dynamic Systems. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 377-386. | |
| Mitri, G., Ciesielski, V. and Uitdenbogerd, A.L. (2004). Automatic Music Classification Problems. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 315-322. | |
| Murray, L., Carrington, D. and Strooper, P. (2004). An Approach to Specifying Software Frameworks. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 185-192. | |
| Nguyen, P.H. and Xue, J. (2004). Strength Reduction for Loop-Invariant Types. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 213-222. | |
| Parnis, J. and Lee, G. (2004). Exploiting FPGA Concurrency to Enhance JVM Performance. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 223-232. | |
| Pirzada, A.A. and McDonald, C. (2004). Kerberos Assisted Authentication in Mobile Ad-hoc Networks. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 41-46. | |
| Pirzada, A.A. and McDonald, C. (2004). Establishing Trust In Pure Ad-hoc Networks. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 47-54. | |
| Powell, D. (2004). Automatic Derivation of Loop Termination Conditions to Support Verification. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 89-97. | |
| Smith, G. (2004). A Framework for Modelling and Analysing Mobile Systems. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 193-202. | |
| Song, G. (2004). Reducing Register Pressure Through LAER Algorithm. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 55-64. | |
| Tsang, W.W., Chong, C.F., Chow, K.P., Hui, L.C.K. and Tso, C.W. (2004). Tuning the Collision Test for Power. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 23-30. | |
| Wang, H., Cao, J., Sun, L. and Zhang, Y. (2004). Anonymous Access Scheme for Electronic Services. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 295-304. | |
| Williams, K. and Esser, R. (2004). Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 65-71. | |
| Xie, H., Andreae, P., Zhang, M. and Warren, P. (2004). Learning Models for English Speech Recognition. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 323-329. | |
| Yu, B.-H., Cranefield, S., Huang, Z. and Purvis, M. (2004). Homeless and Home-based Lazy Release Consistency Protocols on Distributed Shared Memory. In Proc. Twenty-Seventh Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand. CRPIT, 26. Estivill-Castro, V., Ed. ACS. 117-123. | |
Papers listed: 45
