Search Results - (( programming model checking algorithm ) OR ( java application system 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
    “…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
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  3. 3
    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
    “…Decision making; Evolutionary algorithms; Genetic algorithms; Optimization; Particle swarm optimization (PSO); Reservoirs (water); Stochastic models; Stochastic systems; Artificial bee colonies (ABC); Artificial bee colony algorithms; Optimization techniques; Performance checking indices; Performances analysis; Reservoir optimizations; Reservoir release; Stochastic dynamic programming; Dynamic programming…”
    Article
    Save to List
    Saved in:
  4. 4
    Plagiarism Detection System for Java Programming Assignments by Using Greedy String-Tilling Algorithm

    Plagiarism Detection System for Java Programming Assignments by Using Greedy String-Tilling Algorithm by Norulazmi, Kasim

    Published 2008
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  5. 5
    Provider independent cryptographic tools

    Provider independent cryptographic tools by Ibrahim, Subariah, Salleh, Mazleena, Abdul Aziz, Shah Rizan

    Published 2003
    Get full text
    Get full text
    Get full text
    Monograph
    Save to List
    Saved in:
  6. 6
    Case driven TLC model checker analysis in energy scenario

    Case driven TLC model checker analysis in energy scenario by Shkarupylo, Vadym, Blinov, Ihor V., Dusheba, Valentyna, Alsayaydeh, Jamil Abedalrahim Jamil

    Published 2023
    “…To foster the functional safety of corresponding program-algorithmic solutions, the model checking techniques and related tools are applied to the formal specifications of named solutions. …”
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  7. 7
    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:
  8. 8
    Application of intelligence based genetic algorithm for job sequencing problem on parallel mixed-model assembly line

    Application of intelligence based genetic algorithm for job sequencing problem on parallel mixed-model assembly line by Noroziroshan, Alireza, Mohd Ariffin, Mohd Khairol Anuar, Ismail, Napsiah

    Published 2010
    “…In order to check the capability of proposed algorithm, several experimentations on the set of problems were done. …”
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Real-time algorithmic music composition application.

    Real-time algorithmic music composition application. by Yap, Alisa Yi Hui

    Published 2022
    “…In addition, the system also utilises JavaFx and jFugue for its graphical user interface and music programming respectively. …”
    Get full text
    Get full text
    Final Year Project / Dissertation / Thesis
    Save to List
    Saved in:
  10. 10
    Route Optimization System

    Route Optimization System by Zulkifli, Abdul Hayy

    Published 2005
    “…After much research into the many algorithms available, and considering some, including Genetic Algorithm (GA), the author selected Dijkstra's Algorithm (DA). …”
    Get full text
    Get full text
    Final Year Project
    Save to List
    Saved in:
  11. 11
    Java based expert system for selection of natural fibre composite materials

    Java based expert system for selection of natural fibre composite materials by Ahmed Ali, Basheer A., Salit, Mohd Sapuan, Zainudin, Edi Syams, Othman, Mohamed

    Published 2013
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Optimization of blood vessel detection in retina images using multithreading and native code for portable devices

    Optimization of blood vessel detection in retina images using multithreading and native code for portable devices by Tran, Duc Ngoc, Hussin, Fawnizu Azmadi, Yusoff, Mohd Zuki

    Published 2013
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  13. 13
    Automatic Number Plate Recognition on android platform: With some Java code excerpts

    Automatic Number Plate Recognition on android platform: With some Java code excerpts by ., Abdul Mutholib, Gunawan, Teddy Surya, Kartiwi, Mira

    Published 2016
    Get full text
    Get full text
    Get full text
    Book
    Save to List
    Saved in:
  14. 14
    Audio Streaming System Using Real-Time Transport Protocol Based on Java Media Framework

    Audio Streaming System Using Real-Time Transport Protocol Based on Java Media Framework by Asaad Aref, Ibrahim

    Published 2004
    “…Java Media Framework library and the RTP protocol for audio transmission were used as development tools.The developed system designed in this thesis together with experimental results proved that the system could be implemented successfully. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  15. 15
    Secure Image Steganography Using Encryption Algorithm

    Secure Image Steganography Using Encryption Algorithm by Siti Dhalila, Mohd Satar, Roslinda, Muda, Fatimah, Ghazali, Mustafa, Mamat, Nazirah, Abd Hamid, An, P.K

    Published 2016
    “…A system based on the proposed algorithm will be implemented using Java and it will be more secured due to double-layer of security mechanisms which are RSA and Diffie-Hellman.…”
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  16. 16
    Network game (Literati) / Chung Mei Kuen

    Network game (Literati) / Chung Mei Kuen by Chung, Mei Kuen

    Published 2003
    “…The possible applications of multimedia-networked system are endless, as the demand to support interactive communication among groups of users has increased significantly. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  17. 17
    SANAsms: Secure short messaging system for secure GSM mobile communication

    SANAsms: Secure short messaging system for secure GSM mobile communication by Anuar, N.B., Azlan, I.M., Wahid, A.W.A., Zakaria, O.

    Published 2008
    “…The system is developed using Java 2 Micro Edition (J2ME) which is written in Java. …”
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  18. 18
    A Toolkit for Simulation of Desktop Grid Environment

    A Toolkit for Simulation of Desktop Grid Environment by FOROUSHAN, PAYAM CHINI

    Published 2014
    “…The prototypes will be developed using JAVA language united with a MySQL database. Core functionality of the simulator are job generation, volunteer generation, simulating algorithms, generating graphical charts and generating reports. …”
    Get full text
    Get full text
    Final Year Project
    Save to List
    Saved in:
  19. 19
    Optimization of multipurpose reservoir operation using evolutionary algorithms / Mohammed Heydari

    Optimization of multipurpose reservoir operation using evolutionary algorithms / Mohammed Heydari by Mohammed , Heydari

    Published 2017
    “…The described model was resolved by linear programming and evolutionary algorithms in Microsoft Excel (Solver). …”
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  20. 20
    Classification System for Heart Disease Using Bayesian Classifier

    Classification System for Heart Disease Using Bayesian Classifier by Magendram, Anusha

    Published 2007
    “…In this system a Bayesian algorithm was used in order to implement the system. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:

Search Tools: