Volume 26,
2000
- Vashti Galpin:
A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes.
4-12 BibTeX
- Vashti C. Galpin:
Algebraic results for structured operational semantics.
13-21 BibTeX
- Mourad Elloumi:
Algorithms for the shortest exact common superstring problem.
22-26 BibTeX
- V. De G. De Kock:
An expert system algorithm for the identifcation problem.
27-33 BibTeX
- Sylvanus A. Ehikioya, Ken Barker:
A formal perspective to specification of transaction systems.
34-44 BibTeX
- O. Petkova, J. Dewald Roode, D. Petkov:
A multiple perspectives evaluation of the factors affecting software development productivity in an outsourced IT project.
45-52 BibTeX
- Jacques Eloff, Lynette van Zijl:
An incremental construction algorithm for Venn diagrams.
53-59 BibTeX
- C. Papenfus, Reinhardt A. Botha:
An XML based approach to enforcing history-based separation of duty policies in heterogeneous workflow environments.
60-68 BibTeX
- Jean-Paul Van Belle, B. Price:
A proposed framework for evaluating generic enterprise models.
69-76 BibTeX
- Z. Fazekas, L. Szalai:
Computerised assessment of the appearance of abraded fabric.
77-83 BibTeX
- F. Van den Bergh, Andries Petrus Engelbrecht:
Cooperative learning in neural networks using particle swarm optimizers.
84-90 BibTeX
- D. C. Smith, Q. Van Jaarsveld, C. Neethling, R. Andrews:
Diversity and effectiveness in information systems project teams.
91-96 BibTeX
- André P. Calitz, M. B. Calitz:
Evaluating the BPR effect of a SAP R/3 implementation in a manufacturing environment.
97-104 BibTeX
- Karen Renaud, Richard Cooper:
Feedback in human-computer interaction - characteristics and recommendations.
105-114 BibTeX
- Meliha Handzic, Peter Parkin:
Knowledge management technology: examination of information diverse repositories.
125-131 BibTeX
- Rodney Turner, Glenn Lowry:
Motivating and recruiting intending IS professionals: a study Of What attracts IS students to prospective employment.
132-137 BibTeX
- O. Petkova, D. Petkov:
On the validation and legitimisation of an information system-some theoretical considerations and a case study.
138-144 BibTeX
- I. D. Sanders:
Placing axial lines in urban grids.
145-153 BibTeX
- Minru Liu, Shikharesh Majumdar, Dale Streibel, Brian Carroll:
Scheduling on a multiprocessor-based telephone switch.
154-162 BibTeX
- Juan Casanueva, Edwin H. Blake:
Small group collaboration and presence in a virtual environment.
163-171 BibTeX
- J. A. Trimble:
Structuring knowledge acquisition in software development projects.
172-180 BibTeX
- Andries Petrus Engelbrecht:
Using the Taylor expansion of multilayer feedforward neural networks.
181-189 BibTeX
- P. Licker, D. Bailey, A. Scott, B. Stamper:
Website literacy requirements: readability and occulacy measurement development.
190-195 BibTeX
- Elton Saul, A. C. M. Hutchison:
A graphical environment for the facilitation of logic-based security protocol analysis.
196-200 BibTeX
- Conrad Mueller:
Analysing algorithms using computed values.
201-206 BibTeX
- L. Cosgrave, James F. Power, John Waldron:
An object oriented approach to parser generation in C++.
207-211 BibTeX
- S. Perelson, Reinhardt A. Botha:
Conflict analysis as a means of enforcing static separation of duty requirements in workflow environments.
212-216 BibTeX
- Paula Kotzé:
Defining and specifying graphs using formal model-based techniques.
217-221 BibTeX
- J. Boyle, Anthony J. Maeder, Wageeh W. Boles:
Digital imaging challenges for artificial human vision.
222-227 BibTeX
- Renette J. Blignaut, Isabella M. Venter, D. J. Cranfield:
Fast tracking students from disadvantaged backgrounds into main stream Computer Science.
228-231 BibTeX
- T. Thomas, C. De Villiers:
Handling diversity in group Work in the information systems class.
231-236 BibTeX
- Gary Marsden, Harold W. Thimbleby:
Holistic programming environments.
237-242 BibTeX
- Y. S. Min, T. Thomas:
Organising educational resources on an Intranet.
242-246 BibTeX
- Edwin H. Blake, Juan Casanueva, David Nunez:
Presence as a means for understanding user behaviour in virtual environments.
247-251 BibTeX
- Philip Machanick, Brynn Andrew:
Virtual multicasting as an example of information mass transit.
252-255 BibTeX
Copyright © Sun May 17 00:18:21 2009
by Michael Ley (ley@uni-trier.de)