Toward Proving the Correctness of TCP Protocol Using CTL.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 407
- By:
- Publication type:
- Article
Works matching IS 16833198 AND DT 2019 AND VI 16 AND IP 3
Results: 19
1
2
Multi-Level Improvement for a Transcription Generated by Automatic Speech Recognition System for Arabic.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 460
- By:
- Publication type:
- Article
3
Preceding Document Clustering by Graph Mining Based Maximal Frequent Termsets Preservation.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 364
- By:
- Publication type:
- Article
4
Evolutionary Testing for Timing Analysis of Parallel Embedded Software.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 415
- By:
- Publication type:
- Article
5
New Class-based Dynamic Scheduling Strategy for Self-Management of Packets at the Internet Routers.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 473
- By:
- Publication type:
- Article
6
Identifier (ID) based Enhanced Service for Device Communication and Control in Future Networks.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 332
- By:
- Publication type:
- Article
7
Improving Classification Performance Using Genetic Programming to Evolve String Kernels.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 454
- By:
- Publication type:
- Article
8
A Dynamic Architecture for Runtime Adaptation of Service-based Applications.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 397
- By:
- Publication type:
- Article
9
Offline Isolated Arabic Handwriting Character Recognition System Based on SVM.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 467
- By:
- Publication type:
- Article
10
Evaluation of Grid Computing Environment Using TOPSIS.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 323
- By:
- Publication type:
- Article
11
PeSOA: Penguins Search Optimisation Algorithm for Global Optimisation Problems.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 371
- By:
- Publication type:
- Article
12
Taxonomy of GUM and Usability Prediction Using GUM Multistage Fuzzy Expert System.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 357
- By:
- Publication type:
- Article
13
A Low Complexity Face Recognition Scheme Based on Down Sampled Local Binary Patterns.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 338
- By:
- Publication type:
- Article
14
Parallel Optimized Pearson Correlation Condition (PO-PCC) for Robust Cosmetic Makeup Facial Recognition.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 442
- By:
- Publication type:
- Article
15
An Efficiency Batch Authentication Scheme for Smart Grid Using Binary Authentication Tree.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 435
- By:
- Publication type:
- Article
16
Contrast Enhancement using Completely Overlapped Uniformly Decrementing Sub-Block Histogram Equalization for Less Controlled Illumination Variation.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 389
- By:
- Publication type:
- Article
17
(m, k)-Firm Constraints and Derived Data Management for the QoS Enhancement in Distributed Real-Time DBMS.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 424
- By:
- Publication type:
- Article
18
Cloud Data Center Design using Delay Tolerant Based Priority Queuing Model.
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 482
- By:
- Publication type:
- Article
19
Machine Translation Infrastructure for Turkic Languages (MT-Turk).
- Published in:
- International Arab Journal of Information Technology (IAJIT), 2019, v. 16, n. 3, p. 380
- By:
- Publication type:
- Article