Search Results - (( programming model checking algorithm ) OR ( java application interface algorithm ))

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

Get full text
Get full text

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

“…However, model checking is one of the approaches that help to discover these fault.…”
Get full text
Get full text

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.

“…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…”

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

“…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

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

“…In addition, the system also utilises JavaFx and jFugue for its graphical user interface and music programming respectively. …”
Get full text
Get full text

Application-Programming Interface (API) for Song Recognition Systems by Murtadha Arif Sahbudin, Chakib Chaouch, Salvatore Serrano

“…In addition the implementation is done by algorithm using Java’s programming language, executed through an application developed in the Android operating system. …”

Visdom: Smart guide robot for visually impaired people by Lee, Zhen Ting

“…The system architecture integrates ROS 2 on a Raspberry Pi, with TCP/IP connectivity enabling remote operation. An Android mobile application, developed using Java and the java.net.Socket library, provides an intuitive and accessible user interface for seamless interaction with the robot. …”
Get full text
Get full text

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

“…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

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

“…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

Development Of Machine Learning User Interface For Pump Diagnostics by Lee, Zhao Yang

Get full text
Get full text

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

“…A design proposal was outlined to provide an adaptive client/server approach to stream audio contents using Real-Time Transport Protocol (RTP) involving architecture based on the Java Media Framework (JMF) Application Programmable Interfaces (API).RTP protocol is the Internet-standard protocol for the transport of real-time data, including audio and video and can be implemented by using Java Media Framework (JMF). …”
Get full text
Get full text

Movie recommendation system / Najwa Syamimie Hasnu by Hasnu, Najwa Syamimie

Get full text
Get full text

Implementation of (AES) Advanced Encryption Standard algorithm in communication application by Moh, Heng Huong

“…The concept of ABS algorithm was firstly studied, including the definition, historical background, and a brief comparison was made between the ABS algorithm with other types of algorithm. …”
Get full text
Get full text

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

“…The application is designed to satisfy the user friendly interfaces and intent to be used by the end user without having the advanced knowledge in mobile security. …”
Get full text
Get full text

Design Of Robot Motion Planning Algorithm For Wall Following Robot by Ali Hassan, Muhamad Khairul

Get full text
Get full text

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

“…The described model was resolved by linear programming and evolutionary algorithms in Microsoft Excel (Solver). …”
Get full text
Get full text
Get full text

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

“…As the requirement of the Ant System Algorithm, the problem is modeled as a graph that can be used by the ant to deliver its pheromone. …”
Get full text
Get full text
Get full text

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

Get full text
Get full text

A comparative study between univariate and bivariate time series models for crude palm oil industry in peninsular Malaysia / Pauline Jin Wee Mah and Nur Nadhirah Nanyan by Wee Mah, Pauline Jin, Nanyan, Nur Nadhirah

Get full text
Get full text
Get full text

Traveler’s recommendation mobile based system around Terengganu / Muhammad Aiman Syakir Shamsudin by Shamsudin, Muhammad Aiman Syakir

Get full text
Get full text