Software Model Checking For Distributed Applications Using Hybridization Of Centralization And Cache Approaches

Developing reliable distributed systems poses significant challenges due to the non-deterministic nature of thread and process execution, as well as communication channels. Software model checking offers a means to verify system correctness by exhaustively analyzing all program execution paths. Howe...

Full description

Bibliographic Details
Main Author:	Hing, Ratana
Format:	Thesis
Language:	English
Published:	2024
Subjects:	QA75.5-76.95 Electronic computers. Computer science
Online Access:	http://eprints.usm.my/62449/
Abstract	Abstract here

Similar Items

S-Cart, Intelligent self check-out trolley in hypermarket. Creation of value proposition for intelligent self-checkout trolley.
by: Koh, Peik See
Published: (2010)

Multi-View Retrieval Of Software Design Specifications Using Similarity Assessment Approach
by: Adamu, Alhassan
Published: (2017)

Feature Selection Method Based On Hybrid Filter-Metaheuristic Wrapper Approach
by: Jothi, Neesha
Published: (2020)

Hybrid Region Merging For Image Segmentation Using Optimal Global Feature With Global Merging Criterion Approach
by: Vadiveloo, Mogana
Published: (2020)

A Framework For Dynamic Updating In Component-based Software Systems
by: Mohammed Alhazbi , Saleh
Published: (2009)

A Feature Selection Approach Based On Hybridizing Flower Pollination Algorithm With Particle Swarm Optimization For Enhancing The Performance Of Ipv6 Intrusion Detection System
by: Al Ghuraibawi, Adnan Hasan Bdair
Published: (2023)

Semi-fluid: A Content Distribution Model For Faster Dissemination Of Data
by: Saleh, Salah Noori
Published: (2010)

Enhanced Distributed Learning Classifier System For Simulated Mobile Robot Behaviours
by: Baneamoon, Saeed Mohammed Saeed
Published: (2010)

Semi-Fluid: A Content Distribution Model For Faster Dissemination Of Data
by: Saleh, Salah Noori
Published: (2010)

Integrated Framework For Secure Distributed Management Of Duplicated Ipv6 Address Detection
by: Ul Rehman, Shafiq
Published: (2017)

An Efficient Distributed Slotted Multi-Hop Wireless Mac Protocol For Internet Of Things
by: Sarvghadi, Mohammad Ali
Published: (2021)

Enhanced Cuckoo Search Algorithm With Metaheuristic Components For Extracting The Maxima Of The Orientation Distribution Function
by: Shehab, Mohammad Mohammad Said
Published: (2018)

An Approach For Detection Of Logical Inconsistency
by: Yadav, Rinki
Published: (2012)

An Enhanced Distribution Transforming Encoder (Dte) Of The Honey Encryption Scheme For Reinforcing Text-Based Encryption
by: Omolara, Abiodun Esther
Published: (2020)

Distributed Preemptive Process Management With Checkpointing And Migration For A Linux-Based Grid Operating System
by: Htin, Paw Oo @ Nur Hussein
Published: (2006)

A Visual Approach For Requirement Traceability
by: Madaki, Abdulkadir Ahmad
Published: (2022)

Adapting And Enhancing Hybrid Computational Methods For RNA Secondary Structure Prediction
by: Al-Khatib, Ra’ed Mohammad Ali
Published: (2011)

Clustering Ensemble And Hybrid Of Deep Learning For Spatio-Temporal Crime Predictions
by: Butt, Umair Muneer
Published: (2024)

Adapting And Hybrid Ising Harmony Search With Metaheuristic Components For University Course Timetabling
by: Al-Betar, Mohammed Azmi
Published: (2010)

Parallel Quick-Skip Search Hybrid Algorithm For The Exact String Matching Problem.
by: Naser, Mustafa Abdulsahib
Published: (2010)

Keyword Competition Approach In Ranked Document Retrieval
by: Sihombing, Poltak
Published: (2010)

Hybrid Mac Protocol With Intra- Cluster Communications For Extending Wireless Sensor Network Lifetimes
by: Elsmany, Eyman Fathelrhman Ahmed
Published: (2019)

Ad Hoc Wireless Routing With Density Based Probabilistic Algorithm For Mobile Wireless Networks With Non-Uniform Node Distribution
by: Ong , Hean Loong
Published: (2010)

Enhanced and automated approaches for fish recognition and classification system
by: Samma, Ali Salem Ali
Published: (2011)

Hybridization Of Optimized Support Vector Machine And Artificial Neural Network For The Diabetic Retinopathy Classification Problem
by: Kader, Nur Izzati Ab
Published: (2019)

Hybrid Deep Networks Based On Periodshift Cosine Annealing For Customer Retention Prediction In Telecom Industry
by: Victor, Johnson Olanrewaju
Published: (2024)

An Ontology And Constraint-based Approach For Dynamic Personalised Planning In Healthcare
by: Mahiddin , Normadiah
Published: (2009)

Bounded Box-Zoning Integrated Approach For Children Handwriting Recognition
by: Qausbee, Nik Nur Adlin Nik
Published: (2024)

Similarity Segmentation Approach For Sensor-Based Human Activity Recognition
by: Baraka, Abdulrahman M. A.
Published: (2024)

Enhancement Of Login Process Multi-Server Conmmnication For Multimedia Conferencing System (Mcs) Using Distributed Lightweight Directory Access Protocol (Ldap).
by: Abu Saleh, Mohammad Abdelmo'ti
Published: (2010)

Rule-Based Approach For Detecting Botnet Based On Domain Name System
by: Alieyan, Kamal Ibrahim Ahmed
Published: (2018)

Flow-Representation Approach For ICMPV6-Based Ddos Attacks Detection
by: Elejla, Omar E. O.
Published: (2018)

Approach for solving active perturbation attack problem in stepping stone detection.
by: Omar, Mohd Nizam
Published: (2011)

An Approach To Enhance Image Encryption Using Block-Based Trasformation Algorithm.
by: Younes, Mohammad Ali Moh'd Bani
Published: (2009)

An expansionary approach for the allocation of next generation ipv6 internet addresses.
by: Murugesan, Raja Kumar
Published: (2011)

Multimodal Sentiment Analysis Of Social Media Through Deep Learning Approach
by: An, Jieyu
Published: (2024)

Genogram Visualization Using Social Network Approach For Medical Family Tree
by: Bokhare, Siti Fatimah
Published: (2018)

Medical Image Modality Classification using Feature Weighted Clustering Approach.
by: Chandra, Bhavik Anil
Published: (2010)

A Statistical Approach Towards Worm Detection Using Cross-Relation Technique
by: Anbar, Mohammed F.R.
Published: (2013)

Behavioural Factors Based Crowd Evacuation Modelling Using Fuzzy-Neural Approach
by: Zakaria, Wahida
Published: (2020)