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

QR Code

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/ http://eprints.usm.my/62449/1/24%20Pages%20from%20HING%20RATANA.pdf

Similar Items

Rough Set Granularity in Mobile Web Pre-Caching
by: Sulaiman, Sarina, et al.

Selecting A Cyclic Redundancy Check (CRC) Generator Polynomial for CEH (CRC Extension Header).
by: Supriyanto, Supriyanto, et al.
Published: (2009)

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)

A Distributed Resource-Management Approach in MANETs
by: B., Pahlevanzadeh, et al.
Published: (2008)

Hybrid Hierarchical Approach For Addressing Service Discovery Issues In MANETS.
by: Seno, Seyed Amin Hosseini, et al.
Published: (2007)

Intelligent learning environment: Building hybrid system from standard application and web application
by: Chee, , KS, et al.
Published: (2005)

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

CSE241 – Foundations of Software Engineering
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2021)

Unreliable Network Re-Authentication Protocol Based On Hybrid Key Using CSP Approach.
by: Ramadass, Sureswaran, et al.
Published: (2007)

CPT441- Software Quality Assurance & Testing
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2019)

A hybrid ant colony optimization approach (hACO) for constructing load-balanced clusters
by: Ho, C. K., et al.
Published: (2005)

CPT341 - SOFTWARE DESIGN & ARCHITECTURE APRIL 2008.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2008)

Protocol Based Interaction in Component-Based Software Systems.
by: Alhazbi, Saleh, et al.
Published: (2007)

CPT341 - SOFTWARE DESIGN & ARCHITECTURE JANUARY 2012
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2012)

CPT 341 - SOFTWARE DESIGN & ARCHITECTURE APRIL 08.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2008)

CPT341 – Software Design & Architecture January 2018
by: PPSKOM, Pusat Pengajian Sains Komputer

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

Evaluation Of Existing Software For Simulating Of Crowd At Masjid Al-Haram,
by: Sarmady, S., et al.
Published: (2007)

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

CPT243 – Software Requirements Analysis & Modelling June 2018
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2018)

CPT441 – Software Quality Assurance & Testing June 2018
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2018)

CPT 243 - Software Requirement Analysis & Modeling June 2019
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2019)

CPP301 Software Engineering Practice August/September 1998
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1998)

CSE441 – Software Process And Quality Assurance (Proses Dan Jaminan Mutu Perisian) CPT441 – Software Quality Assurance & Testing (Jaminan Mutu & Pengujian Perisian)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2023)

A mobile phone malicious software detection model with behavior checker
by: Yap, , TS, et al.
Published: (2005)

CPT 311-CPM 312 - SOFTWARE ENGINEERING PRACTICE APRIL 08.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2008)

CPT 343 - SOFTWARE PROJECT MANAGEMENT PROCESS & EVOLUTION APRIL 08.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2008)

CPT243 – SOFTWARE REQUIREMENTS ANALYSIS & MODELLING APR-MAY 2011
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2011)

CIT 502 - OBJECT ORIENTED PROGRAMMING AND SOFTWARE ENGINEERING - OKT. 2004
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2004)

CIT 502 - OBJECT ORIENTED PROGRAMMING AND SOFTWARE ENGINEERING - SEPT. 2002
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2002)

CIT502 – OBJECT-ORIENTED PROGRAMMING AND SOFTWARE ENGINEERING - SEPT. 2001
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2001)

CIT502 – OBJECT-ORIENTED PROGRAMMING AND SOFTWARE ENGINEERING - SEPT. 2002
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2002)

CIT502 – OBJECT-ORIENTED PROGRAMMING AND SOFTWARE ENGINEERING - OKT. 2003
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2003)

CIT502 – OBJECT-ORIENTED PROGRAMMING AND SOFTWARE ENGINEERING - OKT. 2004
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2004)

CPT341 – Software Design & Architecture (December 2019 / January 2020)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2020)

CPT341 – Software Architecture and Design (Senibina dan Rekabentuk perisian)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2021)

A New Image-Database Encryption Based on A Hybrid Approach of Data-at-Rest and Data-in-Motion Encryption Protocol.
by: Ooi, Bee Sien, et al.
Published: (2004)

A New Class Of Operations To Accelerate Particle Swarm Optimization Algorithm And A Novel Hybrid Approach For Unit Commitment Problem.
by: Ting, Tiew On
Published: (2004)

CSE241 / CMM341 – Foundations of Software Enginering (Asas Kejuruteraan Perisian)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2022)