A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes 

4

Galpin, V.

Abstract

Algebraic results for structured operational semantics 

13

Galpin, V.

Abstract

Algorithms for the shortest exact common superstring problem 

22

Elloumi, M.

Abstract

An expert system algorithm for the identifcation problem 

27

De Kock, G de V

Abstract

A formal perspective to specification of transaction systems 

34

Ehikioya, S.A.Barker, K.

Abstract

A multiple perspectives evaluation of the factors affecting software development productivity in an outsourced IT project 

45

Petkova, O.Roode, J.D.Petkov, D.

Abstract

An incremental construction algorithm for Venn diagrams 

53

Eloff, J.van Zijl, L.

Abstract

An XML based approach to enforcing history-based separation of duty policies in heterogeneous workflow environments 

60

Papenfus, C.Botha, R.

Abstract

A proposed framework for evaluating generic enterprise models 

69

Van Belle, J-P.Price, B.

Abstract

Computerised assessment of the appearance of abraded fabric 

77

Fazekas, Z.Szalai, L.

Abstract

Cooperative learning in neural networks using particle swarm optimisers 

84

Van den Bergh, F.Engelbrecht, A.P.

Abstract

Diversity and effectiveness in information systems project teams 

91

Smith, D.C.Van Jaarsveld, QNeethling, C.Andrews, R.

Abstract

Evaluating the BPR effect of a SAP R/3 implementation in a manufacturing environment 

97

Calitz, A.P.Calitz, M.B.

Abstract

Feedback in human-computer interaction — characteristics and recommendations 

105

Renaud, K.Cooper, R.

Abstract

Investigating the use of multiresolution image processing and artificial neural networks for computer-aided diagnosis within a telemedicine network 

115

Aydn Alaylolu, B.Aghdasi, F

Abstract

Knowledge management technology: examination of information diverse repositories 

125

Handzic, M.Parkin, P.

Abstract

Motivating and recruiting intending IS professionals: a study Of What attracts IS students to prospective employment 

132

Turner, R.Lowry, G.

Abstract

On the validation and legitimisation of an information system-some theoretical considerations and a case study 

138

Petkova, O.Petkov, D.

Abstract

Placing axial lines in urban grids 

145

Sanders, I.D.

Abstract

Scheduling on a multiprocessor-based telephone switch 

154

Liu, M.Majumdar, S.Streibel, D.Carroll, B.

Abstract

Small group collaboration and presence in a virtual environment 

163

Casanueva, J.Blake, E.

Abstract

Structuring knowledge acquisition in software development projects 

172

Trimble, J.A.

Abstract

Using the Taylor expansion of multilayer feedforward neural networks 

181

Engelbrecht, A.P.

Abstract

Website literacy requirements: readability and occulacy measurement development 

190

Licker, P.Bailey, D.Scott, A.Stamper, B.

Abstract

A graphical environment for the facilitation of logic-based security protocol analysis 

196

Saul, E.Hutchison, A.C.M.

Abstract

Analysing algorithms using computed values 

201

Mueller, C.

Abstract

An object oriented approach to parser generation in C++ 

207

Cosgrave, L.Power, J.Waldron, J.

Abstract

Conflict analysis as a means of enforcing static separation of duty requirements in workflow environments 

212

Perelson, S.Botha, R.A.

Abstract

Defining and specifying graphs using formal model-based techniques 

217

Kotze, P.

Abstract

Digital imaging challenges for artificial human vision 

222

Boyle, J.Maeder, A.Boles, W.W.

Abstract

Fast tracking students from disadvantaged backgrounds into main stream Computer Science 

228

Blignaut, R.J.Venter, I.M.Cranfield, D.J.

Abstract

Handling diversity in group Work in the information systems class 

233

Thomas, T.De Villiers, C.

Abstract

Holistic programming environments 

237

Marsden, G.Thimbleby, H.

Abstract

Organising educational resources on an Intranet 

242

Min, Y.S.Thomas, T.

Abstract

Presence as a means for understanding user behaviour in virtual environments 

247

Blake, E.Casanueva, J.Nunez, D.

Abstract

Virtual multicasting as an example of information mass transit 

252

Machanick, P.Andrew, B.

Abstract