Ali Movaghar-Rahimabadi

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 2

Top Topics

Resource Sharing

Top Venues

IEEE Trans. Mob. Comput.

Publications

Zari Shamsa, Ali Rezaee, Sahar Adabi, Ali Movaghar-Rahimabadi, Amir Masoud Rahmani
A distributed load balancing method for IoT/Fog/Cloud environments with volatile resource support. Clust. Comput. 27 (4) (2024)
Leila Rashidi, Don Towsley, Arman Mohseni-Kabir, Ali Movaghar-Rahimabadi
On the Performance Analysis of Epidemic Routing in Non-Sparse Delay Tolerant Networks. IEEE Trans. Mob. Comput. 22 (7) (2023)
Maryam Hosseini Sohei, Najmeh Sadat Bathaee, Ali Movaghar-Rahimabadi
Utilizing Network Coding for File Dissemination in Peer-to-Peer Systems. NTMS (2009)
Ali Asghar Pourhaji Kazem, Habib Seifzadeh, Mehdi Kargahi, Ali Movaghar-Rahimabadi, Shahriar Lotfi
Maximizing the Accrued Utility of an Isochronal Soft Real-Time System Using Genetic Algorithms. ACIS-ICIS (2009)
Habib Seifzadeh, Ali Asghar Pourhaji Kazem, Mehdi Kargahi, Ali Movaghar-Rahimabadi
A Method for Dynamic Software Updating in Real-Time Systems. ACIS-ICIS (2009)
Mohammad Sadegh Kordafshari, Azadeh Pourkabirian, Karim Faez, Ali Movaghar-Rahimabadi
Energy-Efficient SPEED Routing Protocol for Wireless Sensor Networks. AICT (2009)
Mohammad Izadi, Ali Movaghar-Rahimabadi
An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata. Electron. Notes Theor. Comput. Sci. 159 (2006)
Mohammad Izadi, Ali Movaghar-Rahimabadi
An Efficient Model Checking Algorithm for a Fragment of µ-Calculus. SEKE (2005)
Ali Movaghar-Rahimabadi
Optimal control of parallel queues with impatient customers. Perform. Evaluation 60 (1-4) (2005)
Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi
Modular Verification of a Component-Based Actor Language. J. Univers. Comput. Sci. 11 (10) (2005)
Afshin Parvaresh, Mohammed I. Kalantari, Ali Movaghar-Rahimabadi
An Artificial Intelligent CAC Scheme for Self-Similar Traffic using Fuzzy Case based Reasoning. Communication Systems and Applications (2005)
Mehdi Kargahi, Ali Movaghar-Rahimabadi
A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy. DSN (2004)
Mohammad Abdollahi Azgomi, Ali Movaghar-Rahimabadi
Modeling and Evaluation with Object Stochastic Activity Networks. QEST (2004)