Computational Conversion via Translation Rules for Transforming C++ Code Into UPPAAL’s Automata

by Sidra Sultana, Fahim Arif
Published 2017-01-01

Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification using UPPAAL and DiVinE

by Muhammad Abdul Basit Ur Rehman, Fahim Arif
Published 2016-01-01

Fuzzy-Based Segmentation for Variable Font-Sized Text Extraction from Images/Videos

by Samabia Tehsin, Asif Masood, Sumaira Kausar, Fahim Arif
Published 2014-01-01

Flood Detection/Monitoring Using Adjustable Histogram Equalization Technique

by Fakhera Nazir, Muhammad Mohsin Riaz, Abdul Ghafoor, Fahim Arif
Published 2014-01-01

Potential Lung Nodules Identification for Characterization by Variable Multistep Threshold and Shape Indices from CT Images

by Saleem Iqbal, Khalid Iqbal, Fahim Arif, Arslan Shaukat, Aasia Khanum
Published 2014-01-01

CATSWoTS: Context Aware Trustworthy Social Web of Things System

by Sabeen Javaid, Hammad Afzal, Fahim Arif, Naima Iltaf, Haider Abbas, Waseem Iqbal
Published 2019-07-01

ARCA-IoT: An Attack-Resilient Cloud-Assisted IoT System

by Sabeen Javaid, Hammad Afzal, Muhammad Babar, Fahim Arif, Zhiyuan Tan, Mian Ahmad Jan
Published 2019-01-01

A Secured Data Management Scheme for Smart Societies in Industrial Internet of Things Environment

by Muhammad Babar, Fazlullah Khan, Waseem Iqbal, Abid Yahya, Fahim Arif, Zhiyuan Tan, Joseph M. Chuma
Published 2018-01-01