Ali Movaghar-Rahimabadi

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