Institutional Repository

Browsing South African Computer Journal 1999(24) by Title

Browsing South African Computer Journal 1999(24) by Title

Sort by: Order: Results:

  • Generalised unification of finite temporal logic formulas 
    Hazelhurst, S (South African Computer Society (SAICSIT), 1999)
    Given two temporal logic formulas, g and h, we wish to know whether there is a modification, m, we can make to h so that g ==> m( h). This problem has important applications in hardware verification, where finding such ...
  • A generic modelling framework for interactive authoring support environments 
    Kotze, P (South African Computer Society (SAICSIT), 1999)
    Existing modelling frameworks for the design of interactive systems emphasise the relationship between the system's in­ternal state and the rendering of this state at the user interface. Modern programming and multimedia ...
  • Grounded theory methodology in IS research: Glaser vs Strauss 
    Smit, J (South African Computer Society (SAICSIT), 1999)
    Grounded Theory (GT), along with the surging interest in qualitative research, is becoming a popular research strategy in the Information Systems (IS) field. At the same time however, the method seems to be changing in its ...
  • Harmonizing global internet tax: a collaborative extranet model 
    Lawrence, E; Garner, B (South African Computer Society (SAICSIT), 1999)
    The advent of Internet Commerce represents a significant threat to taxation revenue collection for governments throughout the world. Governments cannot prevent the creative and innovative commercial use of the Internet in ...
  • Improving object oriented analysis by explicit change analysis 
    Yu, L; Khong, SC; Xun, Y; Yuan, M (South African Computer Society (SAICSIT), 1999)
    Changeability is one of the major concerns in software development. OO (Object-Oriented) technology itself is not enough to solve this problem, i.e. software systems cannot have enough changeability by just using any ...
  • An information-theoretic semantics for belief change 
    Meyer, TA (South African Computer Society (SAICSIT), 1999)
    Belief change is an interdisciplinary topic and is researched in departments of Computer Science, Artificial Intelligence, Philosophy, Mathematics and Engineering. It is therefore not surprising that there are a variety ...
  • Introducing a continuum of abstraction-led hierarchical search techniques 
    Zimmer, R; Holte, R (South African Computer Society (SAICSIT), 1999)
    Abstraction in search works by replacing a state space by another space (the abstract space) that is easier to search, either because it is smaller or because it contains more solutions. Results of searches in the abstract ...
  • Introducing research methods to Computer Science honours students 
    Galpin, V; Hazelhurst, S; Mueller, C; Sanders, I (South African Computer Society (SAICSIT), 1999)
    Research skills are important for any academic and can be of great benefit to any professional person. These skills are, however, difficult to teach and to learn. In the Department of Computer Science at the University ...
  • A Java client/server system for accessing arbitrary CANopen fieldbus devices via the Internet 
    Buhler, D; Nusser, G; Gruhler, G; Kuchlin, W (South African Computer Society (SAICSIT), 1999)
    This paper describes the Java CAN API a portable and extensible application interface to arbitrary CANopen fieldbus devices. This API forms the basis for the implementation of JRCC (Java Remote CAN Control), a tool which ...
  • Multimedia as a positive force to leverage web marketing, with particular reference to the commercial sector 
    Shear, S (South African Computer Society (SAICSIT), 1999)
    The Internet (World-Wide-Web) has opened a whole new dimension into advertising, and there is little doubt that audio and video- the basic components of conventional advertising, will play a role there as well. However, ...
  • An object-oriented framework for rapid client-side integration of information management systems 
    Schimkat, RD; Kuchlin, W; Krautter, R (South African Computer Society (SAICSIT), 1999)
    Reuse of software components offers the potential for significant savings in application development costs and time. This paper provides a characterization of reuse at different levels of client-based software in distributed ...
  • A pragmatic approach to bitemporal databases: conceptualisation, representation and visualisation 
    Njovu, C; Gray, WA (South African Computer Society (SAICSIT), 1999)
    In this paper, we describe a pragmatic approach to bitemporal data modelling, logical representation and visualisation. Our proposed approach, herein referred to as the Bitemporal Object, State and Event Modelling Approach ...
  • Reconciling the needs of new information systems graduates and their employers in small, developed countries 
    Turner, R; Lowry, G (South African Computer Society (SAICSIT), 1999)
    This paper is the first of a series of studies of a research program aimed at achieving a better fit between university study and professional practise of information systems. The paper reports the results of two surveys: ...
  • The role of experience in user perceptions of information technology: an empirical examination 
    Handzic, M; Low, G (South African Computer Society (SAICSIT), 1999)
    This paper reports the results of an empirical examination of the effects of experience in using a multifunctional information technology on users' perceptions of its usefulness and ease of use in a university task context ...
  • Shortest delay scheduling algorithm for lossless quality transmission of stored VBR video under limited bandwidth 
    Li, F; Liu, Y; Lee, JY; Ahmad, I (South African Computer Society (SAICSIT), 1999)
    In this paper, we propose scheduling algorithms for call admission control servers. For each requested video, the server sends it according to its smoothed profile aims at maximizing resource utilization and ease of network ...
  • Software chroma keying in an immersive virtual environment 
    Van den Bergh, F; Lalioti, V (South African Computer Society (SAICSIT), 1999)
    This paper presents a very fast software chroma keying algorithm, requiring at most five integer operations per pixel. An improvement of more than 300% in performance over HLS based algorithms was achieved. The algorithm ...
  • Some automata-theoretic properties of -NFA 
    Van Zijl, L; Van der Walt, APJ (South African Computer Society (SAICSIT), 1999)
    We prove that the shortest word accepted by an n-state intersection selective nondeterministic automaton with nonempty language can be of length O( e n log n).
  • Statistical analysis of an automated computer architecture learning environment 
    Waldron, JT; Horgan, J; Keogh, G (South African Computer Society (SAICSIT), 1999)
    The level of programming skill achieved by a method of learning introductory computer architecture with a strong emphasis on assembly language programming as part of a Graduate Diploma in Information Technology in the ...
  • Understanding HCI methodologies 
    Warren, P (South African Computer Society (SAICSIT), 1999)
    The paper proposes a framework for discussing methodologies for developing interactive computer systems. It uses this framework for a sample of systems and shows how certain insights about missing aspects of the methodologies ...
  • 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 ...

Search UnisaIR


Browse

My Account