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

#عنوان مقالهنویسندگانهمایشتاریخ برگزاری همایش
 
۴۱انتخاب موثر زمان پاسخ در مراکز داده ای ابر بوسیله مسیریابی مبتنی بر مجاورت برای مبادله خدماتعبدالکریم الهی,سید مرتضی بابامیراولین کنفرانس ملی فنآوری اطلاعات و ارتباطات2015-5-12
۴۲رتبه بندی سبک های معماری نرم افزار با ترکیب تحمل خطا بر اساس انتگرال فازیعبدالکریم الهی,سید مرتضی بابامیراولین کنفرانس ملی فنآوری اطلاعات و ارتباطات2015-5-12
۴۳Makespan Improvement of PSO-based Dynamic Scheduling in Cloud Environmentازاده خلیلی اردلی,سید مرتضی بابامیربیست و سومین کنفرانس مهندسی برق ایران2015-5-10
۴۴Formal Verification of UML Statecharts using the LOTOS Formal Languageمحمد جوانی,بهزاد سلیمانی نیسیانی,سید مرتضی بابامیر2nd International Conference on Knowledge-based Engineering and Innovation2015-11-5
۴۵ارائه یک لایه رمزنگاری بر روی مستند توصیف وب سرویسارزو میرطالبی,سید مرتضی بابامیردومین کنفرانس جبر محاسباتی، نظریه محاسباتی اعداد و کاربردهای ایران2015-10-13
۴۶Automatic Verification of UML State Chart by BOGOR Model Checking Toolبهزاد سلیمانی نیسیانی,سید مرتضی بابامیر2nd International Conference on Knowledge-based Engineering and Innovation2015-10-13
۴۷آزمون افراز فضای ورودی مبتنی بر توصیف رسمیمهشید هلالی مقدم,سید مرتضی بابامیردومین کنفرانس دانش پژوهان کامپیوتر و فنآوری اطلاعات2014-11-19
۴۸Medical Software Assurance for Operational Performance Accuracy Using Software Agentsنگار مجمع,سید مرتضی بابامیر4th International Conference on Computer and Knowledge Engineering2014-10-29
۴۹Mutation Score Evaluation in Terms of Object-Oriented Metricsمهشید هلالی مقدم,سید مرتضی بابامیر4th International Conference on Computer and Knowledge Engineering2014-10-29
۵۰مروری بر آزمون نرم‌افزارحامد قدیریان,سید مرتضی بابامیرهمایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید2014-1-30
۵۱تولید خودکار داده‌آزمون از ضابطه¬های رسمی جبریفاطمه کریمیان خوزانی,سید مرتضی بابامیر,وجیهه نیکخواههمایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید2014-1-30
۵۲شناسایی مدل رانده سرویس‌ها باخوشه‌‌بندی بر اساس چسبندگی، پیوستگی و دانه‌بندیمحمد دقاق زاده,سید مرتضی بابامیر,علیرضا فرجی ارمکیهمایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید2014-1-30
۵۳آزمون نرم افزار با رویکرد الگوریتم ژنتیکشیما امیرصدری,سید مرتضی بابامیردهمین همایش ملی کامپیوتر و سیستم های هوشمند2013-9-18
نمایش ۴۱ تا ۵۳ مورد از کل ۵۳ مورد.