Search the dblp DataBase

Publications of Author

1. Afshin Parvaresh, Mohammed I. Kalantari, Ali Movaghar-Rahimabadi
   An Artificial Intelligent CAC Scheme for Self-Similar Traffic using Fuzzy Case based Reasoning. [Citation Graph (0, 0)][DBLP]
   Communication Systems and Applications, 2005, pp:197-204 [Conf]
   
2. Mehdi Kargahi, Ali Movaghar-Rahimabadi
   A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy. [Citation Graph (0, 0)][DBLP]
   DSN, 2004, pp:826-834 [Conf]
   
3. Mohammad Abdollahi Azgomi, Ali Movaghar-Rahimabadi
   Modeling and Evaluation with Object Stochastic Activity Networks. [Citation Graph (0, 0)][DBLP]
   QEST, 2004, pp:326-327 [Conf]
   
4. Mohammad Izadi, Ali Movaghar-Rahimabadi
   An Efficient Model Checking Algorithm for a Fragment of µ-Calculus. [Citation Graph (0, 0)][DBLP]
   SEKE, 2005, pp:392-395 [Conf]
   
5. Mohammad Izadi, Ali Movaghar-Rahimabadi
   An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:171-186 [Journal]
   
6. Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi
   Modular Verification of a Component-Based Actor Language. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2005, v:11, n:10, pp:1695-1717 [Journal]
   
7. Ali Movaghar-Rahimabadi
   Optimal control of parallel queues with impatient customers. [Citation Graph (0, 0)][DBLP]
   Perform. Eval., 2005, v:60, n:1-4, pp:327-343 [Journal]
   
8. 
   Maximizing the Accrued Utility of an Isochronal Soft Real-Time System Using Genetic Algorithms. [Citation Graph (, )][DBLP]
   
   
9. 
   A Method for Dynamic Software Updating in Real-Time Systems. [Citation Graph (, )][DBLP]
   
   
10. 
    Energy-Efficient SPEED Routing Protocol for Wireless Sensor Networks. [Citation Graph (, )][DBLP]
    
    
11. 
    Utilizing Network Coding for File Dissemination in Peer-to-Peer Systems. [Citation Graph (, )][DBLP]