arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Muhammad Hashim Ali

2 papers · 2024–2026

2024: 12025: 02026: 1
2024peak 1 in 20242026

Frequent co-authors

Papers

showing 1–2 of 2 RSS

A Mobility Prediction Based Adaptive Task Migration in Mobile Edge Computing

Jawad Usman Arshed, Mehtab Afzal, Muhammad Hashim Ali Abbasi +3 more

Computer Networks and Communications · VFAST Transactions on Software Engineering · · cited 2× · DOI ↗ · more like this ·

During the past few years, mobile data traffic has exponentially increased due to emerging applications, such as social media, online gaming, and augmented/virtual reality. Although the capabilities of mobile devices are significantly improved, they are unable to execute computationally intensive tasks. To extend the computing capabilities of resource-constrained mobile devices, computation offloading is performed on edge servers. Due to user mobility, offloaded tasks often need to be migrated from one edge server to another. Mobility-aware task migration faces different challenges due to varying mobility characteristics of end-users. These challenges include latency, server utilization, and energy consumption. Existing techniques of task and machine (VM) migration do not consider the user movement trajectories while making migration decisions. Consequently, the task or VM is migrated…

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction

Muhammad Ali Hassan Ahmad, Muhammad Hashim Ali, Muhammad Ali Amer +3 more

cs.SE · · cited 0× · arXiv ↗ · more like this ·

A blockchain is a decentralized, secure ledger system that enables transparent and immutable record-keeping, essential for trust and security in digital transactions. Smart contracts are self-executing agreements encoded on a blockchain, enabling different parties to fulfill the terms of the agreement automatically. These contracts trigger corresponding actions when conditions are met, ensuring decentralized and transparent transactions. Writing reliable smart contracts is challenging due to the lack of standardization. To find security vulnerabilities, tools based on various approaches, including symbolic execution, are used. However, these tools often report a large number of false positives, raising concerns about their reliability. The time and effort spent investigating false positives diverts resources from addressing actual vulnerabilities. Therefore, such tools must also be…