مقالات در نشریات

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