Institutional Repository

Browsing School of Computing by Title

Browsing School of Computing by Title

Sort by: Order: Results:

  • Mechanising execution sequence semantics in HOL 
    Tredoux, G (South African Computer Society (SAICSIT), 1992)
    The mechanization in Higher Order Logic of a general- purpose operational semantics for programming languages is described. The mechanization allows the sound derivation of Dijkstra-style axiomatic semantics. A small ...
  • The Memory Organization of Future Large Processors 
    Stein, David M. (Computer Society of South Africa (on behalf of SAICSIT), 1980)
    In this paper some specifics and some generalities on the subject of memory organization for future large processors are discussed. We briefly review the current hierarchy and discuss technological and economic changes ...
  • Meta-Synthesizing Qualitative Research in Information Systems 
    Twinomurinzi, Hossana; Johnson, Roy (2015)
    The beauty of qualitative research is in its appreciation of context, pluralism and diversity. However, this appreciation creates a problem; the results from such studies are often dissonant or appear to be disconnected. ...
  • Metadata and security management in a persistent store 
    Berman, Sonia (South African Computer Society (SAICSIT), 1994)
    Since its emergence in the early eighties, persistence has become an important branch of Computer Science. Many persistent systems have now been developed and a wide variety of related issues have been well researched. Two ...
  • Metamodelling in automated software engineering 
    Figueira, R; Berman, S (2000)
    This paper describes a metamodelling system that has been created at the University of Cape Town as part of an integrated software engineering environment called the Persistent Programmers Workshop. The workshop architecture ...
  • A method of controlling quality of application software 
    Crossman, T.D. (South African Institute of Computer Scientists and Information Technologists, 1991)
    This paper describes the inspection team process and explores its value to the application developer. The conclusion reached is that the technique does incur added development costs, but the whole process brings with it ...
  • A method to generate occam skeletons from formal specifications 
    Ikram, IM (1995)
    We consider the problem of automatically generating parallel programs in the occam language. In particular, we are concerned with the generation of program skeletons, that define just those computations that are common ...
  • A methodology for computer-supported collaborative learning for graduate computing research students' argumentation skills development 
    Van der Merwe, Petronella (2023-02)
    Presenting a well-formulated research argument is a core competency which a graduate student has to acquire in the course of his/her learning journey. The mere availability of the technology platforms provided in open ...
  • A methodology for integrating legacy systems with the client/server environment 
    Redelinghuys, Melinda (1996-06)
    The research is conducted in the area of software methodologies with the emphasis on the integration of legacy systems with the client/server environment. The investigation starts with identifying the characteristics of ...
  • A methodology for integrating legacy systems with the client/server environment 
    Redelinghuys, M; Steenkamp, AL (1996)
    The research is conducted in the area of software methodologies with the emphasis on the integration of legacy systems with client/server environments. The investigation starts with identifying the characteristics of legacy ...
  • Metrics for the Case Management Modeling and Notation (CMMN) Specification 
    Marin, Mike A; Lotriet, Hugo; Van Der Poll, John A (SAICSIT, 2015-09-28)
    The Case Management Modeling and Notation (CMMN) speci cation, published by the Object Management Group (OMG) in 2014, describes a declarative style for modeling business processes. The declarative nature of CMMN is ...
  • Micro-Code Implementation of Language Interpreters 
    Roets, P. P. (Computer Society of South Africa (on behalf of SAICSIT), 1982)
    An evaluation is made of the improvement of language interpreters by coding recurring sequences of instructions in micro-code. The results of an experiment with PASCAL indicate that the increase in speed expected may not ...
  • Migrations: A Microcomputer-Based Generalized Information Retrieval System 
    Pino, Jose A. (Computer Society of South Africa (on behalf of SAICSIT), 1984)
    This paper describes the design of MIGRATIONS, a software system under development at the University of Chile, whose purpose is to store, manage and retrieve unformatted text information. Among the most important design ...
  • MINIX for a distributed database system 
    Meumann, MD; Rennhackkamp, MH (South African Institute of Computer Scientists and Information Technologists, 1990)
    A user of a distributed database management system must be able to access data which is stored on a number of different sites, connected by a network, without being aware of the physical data distribution. The NRDNIX ...
  • Mobile agents at ISADS 97 
    Vosloo, I (South African Computer Society (SAICSIT), 1997)
    This communication gives an overview of the field of mobile agents as presented at various events held in conjunction with a recent international symposium in Germany. The nature of mobile agents and the key concepts ...
  • A mobile application for supply chain coordination of artemisinin-based combination therapy drugs 
    Ramovha, Tshililo (2021-07)
    The purpose of this study was to develop a mobile application for the supply chain coordination of Artemisinin-based Combination Therapy (ACT) drugs that addresses overstock and understock issues in a multi-embedded ...
  • Mobile applications in supporting open and distance learning students' research 
    Choshi, Sonti Phillip (2021-02-26)
    Honours students, who are generally new to research, require support in finding, accessing and sharing information resources for conducting research. In open and distance learning (ODL) providing students with access ...
  • Mobile Applications in Supporting Open and Distance Learning Students’ Research 
    Choshi, Phillip; Sanders, Ian; Van Biljon, Judy (IST-Africa Institute and IIMC, 2021)
    Honours students, who are mostly new to research, require support in finding, selecting and sharing information resources to conduct research. Providing students with access to information resources becomes problematic ...
  • A mobile applications innovation ecosystem framework for Botswana 
    Nyamaka, Admore Tutsirayi (2019-01)
    The role that locally relevant services and content can play in the development of societies cannot be underestimated. The proliferation of mobile phones in Africa’s developing countries is a significant enabler, which ...
  • Mobile educational technologies currently used as a means to enhance teaching and learning in a privileged high school 
    Hlagala, Agnes Ramaesele (2015-02)
    Technology continues to progress due to the enormous growth of wireless technologies and mobile computing. Mobile devices such as handheld computers, smartphones and mobile phones are integrated into the daily lives of ...

Search UnisaIR


Browse

My Account