Papers in Journals

#Paper TitleAuthorsJournalPublished At
 
41Optimal selection of VMs for resource task scheduling in geographically distributed clouds using fuzzy c‐mean and MOLPحسن ضیافت,سید مرتضی بابامیرSOFTWARE PRACT EXPER2018-06-11
42Identification of essential proteins based on a new combination of topological and biological features in weighted protein–protein interaction networksعبدالکریم الهی,سید مرتضی بابامیرIET SYST BIOL2018-06-11
43A Multi-Objective Approach With WASPAS Decision-Making for Workflow Scheduling in Cloud Environmentفاطمه عبادی فرد,سید مرتضی بابامیرInternational Journal of Web Research2018-03-11
44Makespan reduction for dynamic workloads in cluster-based data grids using reinforcement-learning based schedulingمهشید هلالی مقدم,سید مرتضی بابامیرJournal of Computational Science2017-10-11
45Using a recurrent artificial neural network for dynamic self-adaptation of clusterbased web-server systemsساناز شیخی,سید مرتضی بابامیرAPPL INTELL2017-09-11
46Optimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testingمحمد علی سعادت جو,سید مرتضی بابامیرJournal of AI and Data Mining2017-09-11
47A 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
48An Innovative Model-Driven Slicing Approach for Testing Adaptive Softwareساناز شیخی,سید مرتضی بابامیرRecent Patents on Computer Science2017-06-11
49Optimal Scheduling workflows in Cloud Computing Environment Using Pareto based Grey Wolf Optimizerازاده خلیلی اردلی,سید مرتضی بابامیرCONCURR COMP-PRACT E2017-06-11
50Web Service Protection Using a Cryptography Layer on WSDL Fileارزو میرطالبی,سید مرتضی بابامیرJournal of Advanced Mathematics and Applications2017-06-11
51A GA based method for search-space reduction of chess game-treeهوتن دهقانی,سید مرتضی بابامیرAPPL INTELL2017-04-11
52A method for the optimum selection of datacenters in geographically distributed cloudsحسن ضیافت,سید مرتضی بابامیرJ SUPERCOMPUT2017-03-11
53QoS-aware web service composition using Gray Wolf OptimizerMeysam Karimi ans Seyed Morteza BabamirInternational Journal of Information & Communication Technology2017-02-11
54Specification and Verification of Medical Monitoring System Using Petri-netsN.Majma and S.M.BabamirJournal of Medical Signals and Sensors2014-07-12
55Run-time Verification of Service-oriented Systems: A Well-rounded SurveyR. Babaee and S.M. BabamirInternational Journal of Web and Grid Services2013-08-06
56Specification and verification of reliability in dispatching multicast messagesسید مرتضی بابامیرJournal of Supercomputing2013-02-09
57Improving Service Accessibility in Service-Oriented HISسید مرتضی بابامیر,مسعود عرب فردJournal of Medical Systems2012-12-10
58Improving Performance of Software Fault Tolerant Techniques Using Multi-Core Architectureهدا بانکی ,سید مرتضی بابامیر,اعظم فرخ ,محمدمهدی مروتیJournal of Information Systems and Telecommunication2012-10-10
59Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sampleسید مرتضی بابامیر,مهدی برهانیJournal of Medical Systems2012-08-10
60تعیین سطح توانایی روش¬های رسمی در توصیف و تحلیل نرم-افزارسید مرتضی بابامیر,ویدا احمدی ثابتنشریه مهندسی برق و مهندسی کامپیوتر ایران2012-06-08
Showing 41-60 of 68 items.