Browsing by Author "Labuschagne, WA"

Now showing items 1-4 of 4

Design of a Cyber Security Awareness Campaign for Internet Café Users in Rural Areas

Labuschagne, WA; Eloff, M.M.; Veerasamy, N; Leenen, L; Mujinga, M (2011-05-12)

Africa may have the lowest number of Internet users in the world, but it also has the highest growth rate and the number of users is steadily growing. A majority of the African population is still excluded from global ...
Heuristics for resolution-based set-theoretic proofs

Van der Poll, JA; Labuschagne, WA (South African Computer Society (SAICSIT), 1999)

A formal specification language like Z permits the specifier to construct proofs which corroborate the aptness of the specification. This process may be facilitated by establishing a partnership between the specifier and ...
A power-order semantics for Nonmonotonic Logic I & II

Heidema, J; Labuschagne, WA; Meyer, TA; Rosenblatt, H (1995)
Theory meets practice. Using Smith's normalization in complex systems

Van der Merwe, AJ; Labuschagne, WA (South African Computer Society (SAICSIT), 1997)

In 1985 Smith introduced a new way of deriving fully normalized tables. His method was based on the use of a dependency list and a dependency diagram to produce fifth normal form directly. We introduce the use of end-line, ...

Search UnisaIR