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

#عنوان مقالهنویسندگانهمایشتاریخ برگزاری همایش
 
۴۱روشی برای انتخاب راهکارهای به اشتراک گذاری منابع در زیرساختهای ابر- حسگرسید علی شریفی,سید مرتضی بابامیراولین کنفرانس ملی فنآوری اطلاعات و ارتباطات2015-5-12
۴۲انتخاب موثر زمان پاسخ در مراکز داده ای ابر بوسیله مسیریابی مبتنی بر مجاورت برای مبادله خدماتعبدالکریم الهی,سید مرتضی بابامیراولین کنفرانس ملی فنآوری اطلاعات و ارتباطات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
نمایش ۴۱ تا ۵۴ مورد از کل ۵۴ مورد.