ISSN: 1683-3198
|
e-ISSN: 2309-4524
|
DOI: 10.34028/iajit
Submit your Paper
Track your Paper
The International Arab Journal of Information Technology
(IAJIT)
Home
Aims and Scopes
About IAJIT
Current Issue
Archives
Submission
Announcement
Indexing
Contact Us
Home
/
Search for: concurrency
Editorial Board
Technical Committee
Instruction to Authors
Article Processing Charges
Submit your Paper
Track your Paper
Review Paper
Instructions to Reviewers
Statistics
HECOCP: Hybrid Edge-Cloud Optimistic Concurrency Protocol for Sensor Data Transactional Services
Abdelraouf Ishtaiwi,Ahmad Nabot,Omar Alzubi,Awad Ramadan,Abdulbasit Darem,Asma Alhashmi,Mohammad Alauthman,Amjad Aldweesh
#Hybrid concurrency control
#local validation
#global validation
#edge-cloud
Zero Trust Architecture for Security and Protection System in 5G Intelligent Healthcare
Wenzhong Jin,Shanjun Wu,Yu Feng,Huijing Wang,Chunyu Fu
#Artificial intelligence
#intelligent healthcare system
#sustainable development
#big data
#healthcare
#5G communication
#information safety
#security
Zero Trust Architecture for Security and Protection System in 5G Intelligent Healthcare
Wenzhong Jin,Shanjun Wu,Yu Feng,Huijing Wang,Chunyu Fu
#Artificial intelligence
#intelligent healthcare system
#sustainable development
#big data
#healthcare
#5G communication
#information safety
#security
Computer Science Department, University of Mentour i, Algeria
#Maximality-based labelled transition systems
# maximality bisimulation
# Petri nets
A Framework for Distributed Pattern Matching Based on Multithreading
Department of Computer Science, Yarmouk University, Jordan
#Pattern matching
# online search algorithms
# multit hreading
# concurrency
# java space technology
# distr ibuted processing
Implementing New Approach for Enhancing Performance and Throughput in
Abstract: A distributed database system consists of a number of sites over a network and has a huge amount of da ta. Besides a
# Granularity hierarchy tree
# locks
# attribute level
# concurrency control
# data availability
The Shuffle on Trajectories of Infinite Arrays Devi Velayutham
Department of Mathematics, Hindustan College of Arts and Science, India
#Büchi two-dimensional online tessellation automaton
# -trajectory
# -recognizable array language
# column shuffle -recognizable array language
Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification
#Concurrent system
#maximality-based semantics
#process algebra
#model checking
#CTL
Modeling and Formal Verification of IMPP
#Formal methods
#verification of communication protocols
#instant messaging systems
#verification tools
#spin
#LTL
#PROMELA
All Rights reserved to IAJIT 2025
Powered by:
TurnPoint
