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
Indexing
Announcement
Contact Us
Home
/
Search for: concurrency
Editorial Board
Technical Committee
Instruction to Authors
Article Processing Charges
Submit your Paper
Track your Paper
Instructions to Reviewers
Review Paper
Statistics
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 2024
Powered by:
TurnPoint
