Search Results - (( development model checking algorithm ) OR ( java application customization algorithm ))

Search alternatives:

Refine Results
  1. 1
    AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING

    AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING by SALLEH AL-HUMAIKANI, MOHAMMED ABDULQAWI

    Published 2021
    “…Therefore, there is always possibility of mistakes that can be found when performing the RSA algorithm in the source code. However, model checking is one of the approaches that help to discover these fault.…”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  2. 2
    Verification of correctness properties for aggregation behavior of swarm robotics system using spin model checker / Siti Shafinaz Ali

    Verification of correctness properties for aggregation behavior of swarm robotics system using spin model checker / Siti Shafinaz Ali by Ali, Siti Shafinaz

    Published 2015
    “…By verifying rigorously checking with SPIN model checker, the aggregation algorithm has been verified with no counter example and trustworthy.…”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  3. 3
    Verification correctness properties for aggregation behavior of swarm robotics system using SPIN model checker / Siti Shafinaz Ali

    Verification correctness properties for aggregation behavior of swarm robotics system using SPIN model checker / Siti Shafinaz Ali by Ali, Siti Shafinaz

    Published 2015
    “…By verifying rigorously checking with SPIN model checker, the aggregation algorithm has been verified with no counter example and trustworthy.…”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  4. 4
    System performances analysis of reservoir optimization�simulation model in application of artificial bee colony algorithm

    System performances analysis of reservoir optimization�simulation model in application of artificial bee colony algorithm by Hossain M.S., El-Shafie A., Mahzabin M.S., Zawawi M.H.

    Published 2023
    Article
    Save to List
    Saved in:
  5. 5
    A Novel Approach Of Groebner Bases Computation For Safety Analysis Of Distributed Discrete Controllers

    A Novel Approach Of Groebner Bases Computation For Safety Analysis Of Distributed Discrete Controllers by Alwi @ Suhaimi, Saifulza, Salleh, Mohd Rizal, Jaafar, Hazriq Izzuan, Ab Ghani, Mohd Ruddin, Md Fauadi, Muhammad Hafidz Fazli

    Published 2019
    “…This research also proposes the improvement of mean time to failure (MTTF) by using the new model checking method. At the end of this research, a complete tool of model checking method based on Groebner bases algorithm for safety verification will be produced. …”
    Get full text
    Get full text
    Get full text
    Technical Report
    Save to List
    Saved in:
  6. 6
    System performances analysis of reservoir optimization–simulation model in application of artificial bee colony algorithm

    System performances analysis of reservoir optimization–simulation model in application of artificial bee colony algorithm by Hossain, Md Shabbir, El-Shafie, Ahmed, Mahzabin, Mst Sadia, Zawawi, Mohd Hafiz

    Published 2018
    “…Particle swarm optimization, genetic algorithm and neural network-based stochastic dynamic programming are also used in a view of comparing model performances. …”
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Visualisasi pohon sintaksis berasaskan model dan algoritma sintaks ayat bahasa Melayu

    Visualisasi pohon sintaksis berasaskan model dan algoritma sintaks ayat bahasa Melayu by Yusnita, Muhamad Noor

    Published 2018
    “…It can be concluded that the algorithm and model proposed were useful for the development of the prototype. …”
    Get full text
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  8. 8
    A federated usage control framework with ontology-based policy and elimination of irrelevant rules set algorithm for grid computing authorization

    A federated usage control framework with ontology-based policy and elimination of irrelevant rules set algorithm for grid computing authorization by Maizura, Ibrahim

    Published 2019
    “…UBACO is created with the aim to reduce the comprehensive complexity of the high-level granularity policy model, and EIARS is developed with the aim to reduce the number of checked rules during the authorization process. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  9. 9
    Low Complexity Error Correction in Low Density Parity Check (LDPC) Code Decoder and Encoder for Decode and Forward Cooperative Wireless Communication

    Low Complexity Error Correction in Low Density Parity Check (LDPC) Code Decoder and Encoder for Decode and Forward Cooperative Wireless Communication by JAM'AAH, SUUD

    Published 2021
    “…Thus, the LDPC code encoder model is developed to identify a low complexity encoding algorithm of LDPC code for the DF protocol relay system. …”
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  10. 10
    BMTutor research design: Malay sentence parse tree visualization

    BMTutor research design: Malay sentence parse tree visualization by Muhamad Noor, Yusnita, Jamaludin, Zulikha

    Published 2014
    “…As a result of the lack of models and algorithms have been introduced in both parsers, the model and algorithm development phase is introduced in the design of BMTutor.Output from the development process shows that the prototype is able to provide sentence correction for all 15 invalid sentences and can produce parse tree visualizations for all 20 sentences used for prototype testing.…”
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  11. 11
    A Single Objective Flower Pollination Algorithm for Modeling the Horizontal Flexible Plate System

    A Single Objective Flower Pollination Algorithm for Modeling the Horizontal Flexible Plate System by Siti Zakiah, Maseri, Muhamad Sukri, Hadi, Annisa, Jamali, Hanim, Mohd Yatim, Mat Hussin, Ab Talib, Intan Zaurah, Mat Darus

    Published 2020
    “…The performance of the developed model was then compared with the conventional algorithm known as recursive least square (RLS). …”
    Get full text
    Get full text
    Get full text
    Proceeding
    Save to List
    Saved in:
  12. 12
    Variable Global Optimization min-sum (VGOMS) algorithm of decode-and forward-protocol for the relay node in the cooperative channel

    Variable Global Optimization min-sum (VGOMS) algorithm of decode-and forward-protocol for the relay node in the cooperative channel by Hushairi, Zen, Al-Khalid, Hj Othman, Khairuddin, Abdul Hamid, Jamaah, Suut

    Published 2020
    “…A low complexity min-sum (MS) based algorithm called the Variable Global Optimization min-sum (VGOMS) algorithm has been developed to minimise the error corrective performance. …”
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Real time monitoring and controlling using Petri net algorithm for batch process plant / Mohamad Shaiful Osman

    Real time monitoring and controlling using Petri net algorithm for batch process plant / Mohamad Shaiful Osman by Osman, Mohamad Shaiful

    Published 2010
    “…Petri net can be applied to event related process control in simulating, checking, debugging, and stating the quantitative deviations from the ideal solutions of any given continuous or discrete process as well as providing formal checking at all development stages from specification, design and implementation . …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  14. 14
    Optimal neural network approach for estimating state of energy of lithium-ion battery using heuristic optimization techniques

    Optimal neural network approach for estimating state of energy of lithium-ion battery using heuristic optimization techniques by Lipu M.S.H., Hussain A., Saad M.H.M., Hannan M.A.

    Published 2023
    Conference Paper
    Save to List
    Saved in:
  15. 15
    Enhancement of Ant System Algorithm for Course Timetabling Problem

    Enhancement of Ant System Algorithm for Course Timetabling Problem by Djamarus, Djasli

    Published 2009
    “…This research starts with developing an algorithm based on original concept of Ant System Algorithm. …”
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  16. 16
    Variable Global Optimization min-sum (VGOMS) algorithm of decodeand-forward protocol for the relay node in the cooperative channel

    Variable Global Optimization min-sum (VGOMS) algorithm of decodeand-forward protocol for the relay node in the cooperative channel by Hushairi, Zen, Jamaah, Suut, Al-Khalid, Bin Hj Othman, Khairuddin, Bin Ab Hamid

    Published 2019
    “…A low complexity min-sum (MS) based algorithm called the Variable Global Optimization min-sum (VGOMS) algorithm has been developed to minimise the error corrective performance. …”
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Real-time Cascading Reservoirs Operation using the Genetic Algorithm and Seasonally Varied Models

    Real-time Cascading Reservoirs Operation using the Genetic Algorithm and Seasonally Varied Models by DERIB ASFAW, TILAHUN

    Published 2013
    “…Whereas, a seasonally varied model (SVM) has been developed after the analysis of the long-term HA operation data. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  18. 18
    Rock brittleness prediction through two optimization algorithms namely particle swarm optimization and imperialism competitive algorithm

    Rock brittleness prediction through two optimization algorithms namely particle swarm optimization and imperialism competitive algorithm by Hussain, Azham, Surendar, A., Clementking, A., Kanagarajan, Sujith, Ilyashenko, Lubov K.

    Published 2018
    “…In the other words, four predictive models, namely ICA linear, ICA power, PSO linear, and PSO power models are developed to predict BI in this study. …”
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Sentiment analysis using clonal selection algorithm for Twitter’s data / Fatimah Mamat

    Sentiment analysis using clonal selection algorithm for Twitter’s data / Fatimah Mamat by Mamat, Fatimah

    Published 2012
    “…In order to achieve the main objective, five phases of methodology was been implemented which are preliminary study, data preparation, model development, model evaluation & prototype development and last but not list is documentation. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  20. 20
    Development of Genetic Algorithm Procedure for Sequencing Problem in Mixed-Model Assembly Lines

    Development of Genetic Algorithm Procedure for Sequencing Problem in Mixed-Model Assembly Lines by Noroziroshan, Alireza

    Published 2009
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:

Search Tools: