2 citations · 5 across the 7 of their papers we have counts for
7 papers
Mining Reviews in Open Source Code for Developers Trail: A Process Mining Approach
Patrick Mukala
Audit trails are evidential indications of activities performers in any logs. Modern reactive systems such as transaction processing systems, management information systems, decisi…
An Empirical Evaluation of AriDeM using Matrix Multiplication
Patrick Mukala
For a long time, the Von Neumann has been a successful model of computation for sequential computing .Many models including the dataflow model have been unsuccessfully developed to…
Arithmetic Deduction Model for High Performance Computing: A Comparative Exploration of Computational Models Paradigms
Patrick Mukala
A myriad of applications ranging from engineering and scientific simulations, image and signal processing as well as high-sensitive data retrieval demand high processing power reac…
Formal Verification Of A Shopping Basket Application Model Using PRISM
Patrick Mukala
Formal verification is at the heart of model validation and correctness. With model checking, invaluable realizations have been accomplished in software engineering and particularl…
Implementation of a Service-Oriented Architecture for a e-WALLET System for Cashless Transactions in the Democratic Republic of Congo
Patrick Mukala
The Democratic Republic of Congo is a sleeping giant at the heart of Africa. Though endowed with incredible natural resources spanning from significant reserves of gold, diamond, c…
The South African Software Industry as a Key Component of Economic Development: Pipedream or Possibility
Patrick Mukala
The Information and Communication sector has undoubtedly played a pivotal role in changing the way people live nowadays. Almost every area of our lives is affected by the presence…