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

#عنوان مقالهنویسندگاننشریهتاریخ انتشار
 
۴۱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 environmentفاطمه عبادی فرد,سید مرتضی بابامیرConcurrency & Computation, Practice and Experience2017-09-06
۴۴An Innovative Model-Driven Slicing Approach for Testing Adaptive Softwareساناز شیخی,سید مرتضی بابامیرRecent Patents on Computer Science2017-06-11
۴۵Optimal Scheduling workflows in Cloud Computing Environment Using Pareto based Grey Wolf Optimizerازاده خلیلی اردلی,سید مرتضی بابامیرCONCURR COMP-PRACT E2017-06-11
۴۶Web Service Protection Using a Cryptography Layer on WSDL Fileارزو میرطالبی,سید مرتضی بابامیرJournal of Advanced Mathematics and Applications2017-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-netsنگار مجمع,سید مرتضی بابامیرJournal of Medical Signals and Sensors2014-07-12
۵۱Run-time Verification of Service-oriented Systems: A Well-rounded Surveyرضا بابائی چشمه احمدرضائی,سید مرتضی بابامیرInternational 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
۵۷Active Program Analysis Using Rule-Based Modification and Aspectationسید مرتضی بابامیرُStudies in Informatics and Control2011-11-11
۵۸A Framework for Specifying Safe Behavior of the CIIP Medical Systemسید مرتضی بابامیرAdvances in Experimental Medicine and Biology Series, Collection Software Tools and Algorithms for Biological Systems2011-03-15
۵۹Constructing Formal Rules to verify Message Communication in Distributed Systemsسید مرتضی بابامیرThe Journal of Supercomputing2011-01-27
۶۰Constructing a Model-Based Software Monitor for the Insulin Pump Behaviorسید مرتضی بابامیرJournal of Medical Systems2010-07-13
نمایش ۴۱ تا ۶۰ مورد از کل ۸۸ مورد.