Institutional Repository

Browsing College of Science, Engineering and Technology by Title

Browsing College of Science, Engineering and Technology by Title

Sort by: Order: Results:

  • 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 ...
  • Mixed integer nonlinear optimization framework applied to a platinum group metals flotation circuit 
    Mabotha, Eric Tswaledi (2020-08)
    This study described an alternative approach for flotation circuit optimization using a mathematical programming technique. Mathematical formulation resulted in mixed integer nonlinear programming problem. Experimental ...
  • 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 banking applications security factors model for aged users in South Africa 
    Goronga, Rumbidzai P. (2024-01)
    Technology continues to evolve at a rapid rate, resulting in financial institutions adopting technological developments across multiple products and services, including mobile banking applications. The design of these ...
  • 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 ...
  • Mobile phone adoption : optimising value for older adults in a developing country 
    Van Biljon, Judy; Van Dyk, Tobie; Gelderblom, Helene (2010-11)
    Mobile phones in South Africa have enjoyed an unprecedented technology adoption rate due to their accessibility and usefulness. This prolific adoption of mobile phones diverts attention from their limitations which include ...
  • Mobile Phones for the Elderly: a design framework In Steyn 
    van Dyk, Tobie; Gelderblom, Helene; Van Biljon, Judy; Renaud, Karen (Public and private access to ICTs in developing regions. Proceedings of the 7th International Development Informatics Conference (IDIA2013), Bangkok, Thailand, 2013)
    Globally people are living longer. The elderly, defined as people over 65 for the purpose of this study, have recognised physical and cognitive limitations which can lead to their marginalisation as far as information and ...
  • Modal logics for programs 
    Goldblatt, R (South African Computer Society (SAICSIT), 1995)
    These lectures provide an introduction to modal logic and its use in formalising reasoning about the behaviour of computational processes. They begin with a general introduction to the syntax, semantics, and proof-theory ...
  • Modal satisifiability in a constraint logic environment 
    Stevenson, Lynette (2009-08-25)
    The modal satisfiability problem has to date been solved using either a specifically designed algorithm, or by translating the modal logic formula into a different class of problem, such as a first-order logic, a ...
  • A model checker for transition systems 
    De Villiers, PJA (1991)
    A model checker automatically determines whether a model of a re­active system satisfies its specification.Temporal logic is used to spec­ify the intended behaviour of a reactive system which is modelled as a transition ...
  • A model checker for transition systems 
    De Villiers, PJA (South African Computer Society (SAICSIT), 1992)
    A model checker automatically determines whether a model of a reactive system satisfies its specification. Temporal logic is used to specify the intended behaviour of a reactive system which is modelled as a transition ...
  • Model checking software with symbolic trajectory evaluation 
    Hazelhurst, S (1997)
    Traditional methods of testing computer systems, although valuable, are inadequate for ensuring sufficiently high quality in systems in which a high degree of reliability must be placed. Formal methods for development of ...
  • A model for assisting software project managers to treat project teams as key stakeholders: a case study of the South African software industry 
    Hans, Robert Toyo (2020-09)
    Projects in the Information and Communication Technology (ICT) industry have diverse project stakeholder groups. Project teams (PTs) are typically a key class of role-players. Despite the empirical evidence of the pivotal ...
  • A model for digital literacy enhancement through technology adoption in resource-constrained environments 
    Matyila, Pule Muzi Lincholn (2019)
    The ubiquitous and pervasive nature of Information and Communication Technologies (ICT) fosters societies driven by knowledge rather than traditional capital and labour through the simplified socio-economic participation. ...
  • A model for enhancing software project management using software agent technology 
    Nienaber, R. C. (Rita Charlotte) (2009-08-25)
    The present study has originated from the realisation that numerous software development projects either do not live up to expectations or fail outright. The scope, environment and implementation of traditional software ...
  • A model for evaluating information security 
    Barnard, L; Von Solms, R (2000)
    During the last few decades computing environments have advanced from single user systems to distributed, open environments we all know today. Through these Information Technology advancements, more and more role players ...

Search UnisaIR


Browse

My Account