A model checking agent for mobile short message service application [electronic resource] / by Siti Dianah Abdul Bujang, 1984-, Fakulti Sains Komputer dan Sistem Maklumat

Digital Learning Demand for Future Education 4.0—Case Studies at Malaysia Education Institutions by Siti Dianah Abdul Bujang, Ali Selamat, Ondrej Krejcar, Petra Maresova, Ngoc Thanh Nguyen

Get full text

Model checking agent of SMS management system for direct sales and network marketing / by 389865 Ali Selamat, Siti Dianah Abdul Bujang, 1984-, Knowledge Management International Conference (2008 : Kedah)

Sistem capaian maklumat video on demand menggunakan agen mobil / by Siti Dianah Abdul Bujang, 1984-, Ali Selamat, supervisor, Fakulti Sains Komputer dan Sistem Maklumat

A model checking agent for mobile short message service application / by Siti Dianah Abdul Bujang, 1984-, Ali Selamat, supervisor, Fakulti Sains Komputer dan Sistem Maklumat

An approach of model checking agent using spin for the verification of mobile SMS application / by Siti Dianah Abdul Bujang, author, Ali Selamat, author, IEEE International Workshop on Digital Infotainment and Visualization (2007 : Terengganu))

Missing Value Imputation Designs and Methods of Nature-Inspired Metaheuristic Techniques: A Systematic Review by Po Chan Chiu, Ali Selamat, Ondrej Krejcar, King Kuok Kuok, Siti Dianah Abdul Bujang, Hamido Fujita

Get full text

Dynamic model checking for multi agent e - business control and assurance / by Siti Dianah Abdul Bujang, 1984-, author, Ali Selamat, author, Malaysian Software Engineering Conference (3rd : 2009 : Selangor)

Agent architecture for criminal mobile devices identification systems / by Ali Selamat, author, Ng, Chin Choon, author, Md. Hafiz Selamat, author, Siti Dianah Abdul Bujang, 1984-, author

Model checking agent using formal method for SMS verification / by Siti Dianah Abdul Bujang, 1984-, author, Ali Selamat, author, International Conference on Information Theory and Engineering (ICITE 2009) (2009: Sabah)

Imbalanced Classification Methods for Student Grade Prediction: A Systematic Literature Review by Siti Dianah Abdul Bujang, Ali Selamat, Ondrej Krejcar, Farhan Mohamed, Lim Kok Cheng, Po Chan Chiu, Hamido Fujita

Get full text

Verification of mobile SMS application with model checking agent / by Siti Dianah Abdul Bujang, 1984-, author, Ali Selamat, author, International Conference on Intelligent Systems Design and Applications (8th: 2008: Taiwan)

Multiclass Prediction Model for Student Grade Prediction Using Machine Learning by Siti Dianah Abdul Bujang, Ali Selamat, Roliana Ibrahim, Ondrej Krejcar, Enrique Herrera-Viedma, Hamido Fujita, Nor Azura Md. Ghani

Get full text

The design of model checking agent for SMS management system / by Ali Selamat, author, Siti Dianah Abdul Bujang, 1984-, author, KES International Symposium on Agent Multi-Agent Systems (2nd : (2008 : Seoul, Korea)

Agent verification design of short text messaging system using formal method / by Ali Selamat, author, Siti Dianah Abdul Bujang, 1984-, author, Md. Hafiz Selamat, author, International KES Symposium on Agents and Multi-Agent Systems Technologies and Applications (3rd : 2009 : Sweden)

Advances in software engineering research and practice / by Wan Mohd. Nasir Wan Kadir author, Radziah Mohamad author, Safaai Deris author, Shahliza Abd. Halim author, Dayang Norhayati Abang Jawawi author, Abdel Gaffar Ahamed author, Colomb, Robert M., 1942-, author, Suzila Sabil author, Nor Hazilawati Awang, 1973-, author, Shamsul Shahibudin author, Noraini Ibrahim author, Siti Rochimah, 1968-, author, Abdul Hanan Abdullah author, Mamoun Mohamad Jamous author, Suhaimi Ibrahim author, Faizah Omar author, Azri Azmi author, Hossein Nematzadeh Balagatabi, 1982-, author, Siti Dianah Abdul Bujang, 1984-, author, Ali Selamat author, Lusiana author