Institutional Repository

Browsing SAICSIT Digital Archive by Title

Browsing SAICSIT Digital Archive by Title

Sort by: Order: Results:

  • A validation model of the VMTP transport level protocol 
    Roux, HN; De Villiers, PJA (1996)
    The implementation of protocols can be speed up by incorporating formally validated designs in documents that describe new protocols. Unfortunately, this seldom happens in practice. It is proposed that a formally validated ...
  • A value can belong to many types 
    Venter, BH (1991)
    Most statically typed Algol-style languages were designed to conform with the view that a value belongs to one and only one type. The adoption of this view bought compiler simplicity at the ex­pense of language expressivity. ...
  • Verification of finite state systems with temporal logic model checking 
    Schlingloff, B (South African Computer Society (SAICSIT), 1997)
    These tutorial notes contain an introduction to the logical theory and computational aspects of computer aided verification of finite state reactive systems with linear and branching temporal logic model checking. As a ...
  • Very High Speed Graphics Work-Station 
    Jablonski, J.; Dijkman, J.H. (Computer Society of South Africa (on behalf of SAICSIT), 1984)
    The design of a high speed graphics workstation 1s presented A spec1f1caly designed Graphics System Interface com bines standard computer peripherals to produce a soph1st1cated man machine workstation A review 1s given ...
  • A Virtual Multiprocessor Computer Design 
    Turton, Trevor (Computer Society of South Africa (on behalf of SAICSIT), 1984)
    This paper describes computer design which 'would achieve a high instruction throughput rate on a relatively modest amount of hardware. It is based on multiprogramming the CPU at a sub-instruction level. The design will ...
  • Visualising eventuality structure 
    Rock, ST (South African Computer Society (SAICSIT), 1999)
    This paper describes the use of pictorial representations in showing the understanding of natural language that is about multiple or extended events. The focus is on the structure of such eventualities, and depiction of ...
  • Ways of Assessing Programming Skills 
    Bishop, J.M. (Computer Society of South Africa (on behalf of SAICSIT), 1986)
    The programming skills taught in first year computer science courses are more difficult to assess than the skills in older science courses because of the very large numbers of students involved coupled with material ...
  • Web site readability and navigation techniques: an empirical study 
    Licker, PS; Anderson, R; Macintosh, C; Van Kets, A (2001)
    This research looks into factors that affect the readability of web sites. For those with low literacy skills, low readability may prove to be an insurmountable barrier to profitable, comfortable website use. Two factors ...
  • What are websites used for - cost saving, revenue generating or value creating? 
    Lee, M (South African Computer Society (SAICSIT), 1999)
    For responding to the previous debate about whether Websites can be more properly used as a cost saving or revenue generating devices. The author interprets Plehan's internet selling matrix in a particular way to provide ...
  • What is information systems? 
    Crossman, T.D. (South African Computer Society (SAICSIT), 1994)
    This paper is an attempt to answer the question 'What is Information Systems?' While the characteristics of both a science and a non-science can be identified in Information Systems (IS), it is argued here that it is not ...
  • What's wrong with CP/M? 
    Byron-Moore, S.P. (Computer Society of South Africa (on behalf of SAICSIT), 1986)
    Trends in operating systems are examined in the light of advances in computer hardware. Consideration is given to the desirability of a good, up-to-date single-user operating system. The specification and implementation ...
  • Whatever happened to software engineering? 
    Teichroew, D (1995)
    The term "software engineering" originally appeared as a (some would say, the) solution to the software crisis; the term that has been used to include all the problems, real or perceived, in the use of computers in society. ...
  • Where do software architectures come from? Systematic development from domains and requirements. A re-assessment of software engineering? 
    Bjorner, D (South African Computer Society (SAICSIT), 1998)
    In this paper we show how details of a software design emerges in two steps: software architecture and program organisation and from first having established careful descriptions of the application domain and of functional ...
  • Who will implement information technology for development? 
    Korpela, M (South African Computer Society (SAICSIT), 1995)
    There is a long, although thin, tradition of research on whether and how information technology (IT) can contribute to national development and basic human needs, particularly in developing countries (DCs). It is striking, ...
  • Why the fuss about neural networks? 
    Barth, G (South African Institute of Computer Scientists and Information Technologists, 1991)
    Currently, there is a certain hype about issues related to neural networks. This is somewhat surprising since the origins of neural nets date back some 40 years. At that time, several researchers experimented with distributed ...
  • WOFACS '96: Workshop on formal and applied Computer Science 
    Brink, C (South African Computer Society (SAICSIT), 1997)
  • Word frequencies in scientific prose 
    Paijmans, H (South African Computer Society (SAICSIT), 1995)
    An overview is given of popular term-weighting schemes as used in Information Retrieval. The question is raised whether the word frequency based t f.idf weights may be used as a yardstick to compare schemes that are not ...
  • Word prediction strategies in program editing environments 
    Sanders, I; Tsai, C (South African Computer Society (SAICSIT), 1997)
    The goal of this research is to demonstrate that word prediction in a constrained domain like a programming language can be done effectively and hence has the potential to facilitate typing for disabled people who are ...
  • A working relational model: The derivation of the Dijkstra-Scholten predicate transformer semantics from Tarski's axioms for the Peirce-Schroder calculus of relations 
    Maddux, RD (South African Computer Society (SAICSIT), 1993)
    The definitions for Dijkstra's predicate transformer semantics can be justified by considering the meaning of a program as a binary relation on states (which holds between two states if there is a terminating computation ...
  • A writing support tool for distance students 
    Barrow, J (1995)
    This paper describes SuperText, a computer program designed to support productive expository writing processes among students at a distance teaching university. Being able to write well is an import communication skill, ...

Search UnisaIR


Browse

My Account