۴۱ | Optimal selection of VMs for resource task scheduling in geographically distributed clouds using fuzzy c‐mean and MOLP | حسن ضیافت,سید مرتضی بابامیر | SOFTWARE PRACT EXPER | 2018-06-11 |
۴۲ | Model-Based Monitoring and Adaptation of Pacemaker Behavior Using Hierarchical Fuzzy Colored Petri-Nets | نگار مجمع,سید مرتضی بابامیر | IEEE Transactions on Systems, Man, and Cybernetics: Systems | 2018-06-11 |
۴۳ | A Multi-Objective Approach With WASPAS Decision-Making for Workflow Scheduling in Cloud Environment | فاطمه عبادی فرد,سید مرتضی بابامیر | International Journal of Web Research | 2018-03-11 |
۴۴ | Makespan reduction for dynamic workloads in cluster-based data grids using reinforcement-learning based scheduling | مهشید هلالی مقدم,سید مرتضی بابامیر | Journal of Computational Science | 2017-10-11 |
۴۵ | Optimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing | محمد علی سعادت جو,سید مرتضی بابامیر | Journal of AI and Data Mining | 2017-09-11 |
۴۶ | Using a recurrent artificial neural network for dynamic self-adaptation of clusterbased web-server systems | ساناز شیخی,سید مرتضی بابامیر | APPL INTELL | 2017-09-11 |
۴۷ | A PSO-based task scheduling algorithm improved using a load-balancing technique for the cloud computing environment | F. Ebadifard and S.M. Babamir | Concurrency & Computation, Practice and Experience | 2017-09-06 |
۴۸ | Web Service Protection Using a Cryptography Layer on WSDL File | ارزو میرطالبی,سید مرتضی بابامیر | Journal of Advanced Mathematics and Applications | 2017-06-11 |
۴۹ | Optimal Scheduling workflows in Cloud Computing Environment Using Pareto based Grey Wolf Optimizer | ازاده خلیلی اردلی,سید مرتضی بابامیر | CONCURR COMP-PRACT E | 2017-06-11 |
۵۰ | An Innovative Model-Driven Slicing Approach for Testing Adaptive Software | ساناز شیخی,سید مرتضی بابامیر | Recent Patents on Computer Science | 2017-06-11 |
۵۱ | A GA based method for search-space reduction of chess game-tree | هوتن دهقانی,سید مرتضی بابامیر | APPL INTELL | 2017-04-11 |
۵۲ | A method for the optimum selection of datacenters in geographically distributed clouds | حسن ضیافت,سید مرتضی بابامیر | J SUPERCOMPUT | 2017-03-11 |
۵۳ | QoS-aware web service composition using Gray Wolf Optimizer | Meysam Karimi ans Seyed Morteza Babamir | International Journal of Information & Communication Technology | 2017-02-11 |
۵۴ | Specification and Verification of Medical Monitoring System Using Petri-nets | N.Majma and S.M.Babamir | Journal of Medical Signals and Sensors | 2014-07-12 |
۵۵ | Run-time Verification of Service-oriented Systems: A Well-rounded Survey | R. Babaee and S.M. Babamir | International Journal of Web and Grid Services | 2013-08-06 |
۵۶ | Specification and verification of reliability in dispatching multicast messages | سید مرتضی بابامیر | Journal of Supercomputing | 2013-02-09 |
۵۷ | Improving Service Accessibility in Service-Oriented HIS | سید مرتضی بابامیر,مسعود عرب فرد | Journal of Medical Systems | 2012-12-10 |
۵۸ | Improving Performance of Software Fault Tolerant Techniques Using Multi-Core Architecture | هدا بانکی ,سید مرتضی بابامیر,اعظم فرخ ,محمدمهدی مروتی | Journal of Information Systems and Telecommunication | 2012-10-10 |
۵۹ | Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample | سید مرتضی بابامیر,مهدی برهانی | Journal of Medical Systems | 2012-08-10 |
۶۰ | تعیین سطح توانایی روش¬های رسمی در توصیف و تحلیل نرم-افزار | سید مرتضی بابامیر,ویدا احمدی ثابت | نشریه مهندسی برق و مهندسی کامپیوتر ایران | 2012-06-08 |