فیلتر نتایج
نتایج 1 تا 10 از مجموع 11
مقاله ژورنالی
Runtime verification of programs using rule-based active system
نویسندگان: Seyed Morteza Babamir، M. ZERAFAT ANGIZ L.، A. Niknam
سال انتشار 1391
محل انتشار: دوفصلنامه مرکز پژوهشی ریاضی ماهانی شماره 1، دوره 1
تعداد صفحات: 19 | زبان: انگلیسی
مقاله ژورنالی
Ranking of Common Architectural Styles Based on Availability, Security and Performance Quality Attributes
نویسندگان: Safieh Tahmasebipour، Seyed Morteza Babamir
سال انتشار 1393
محل انتشار: مجله محاسبات و امنیت شماره 2، دوره 1
تعداد صفحات: 11 | زبان: انگلیسی
مقاله ژورنالی
QoS-aware web service composition using Gray Wolf Optimizer
نویسندگان: Meysam Karimi، Seyed Morteza Babamir
سال انتشار 1395
محل انتشار: مجله بین المللی ارتباطات و فناوری اطلاعات شماره 1، دوره 9
تعداد صفحات: 8 | زبان: انگلیسی
مقاله ژورنالی
Prediction of Deadlocks in Concurrent Programs Using Neural Network
نویسندگان: Elmira Hasanzad، Seyed Morteza Babamir
سال انتشار 1391
محل انتشار: فصلنامه سیستم های اطلاعاتی و مخابرات شماره 1، دوره 1
تعداد صفحات: 14 | زبان: انگلیسی
مقاله کنفرانسی
Formal Verification of UML Statecharts using the LOTOS Formal Language
نویسندگان: Mohamad Javani، Behzad Soleimani Neysiani، Seyed Morteza Babamir
سال انتشار 1394
محل انتشار: دومین کنفرانس بین المللی مهندسی دانش بنیان و نوآوری
تعداد صفحات: 7 | زبان: انگلیسیمقاله ژورنالی
enhancing efficiency of softwarw fault tolerance techniques in satellite motion system
نویسندگان: Hoda Banki، Seyed Morteza Babamir، Azam Farokh، Mohammad Morovati
سال انتشار 1393
محل انتشار: فصلنامه سیستم های اطلاعاتی و مخابرات شماره 7، دوره 2
تعداد صفحات: 8 | زبان: انگلیسیمقاله کنفرانسی
Automatic verification of uml state chart by bogor model checking tool Automatic formal verification of network and distributed systems
نویسندگان: Behzad Soleimani Neysian، Seyed Morteza Babamir
سال انتشار 1394
محل انتشار: دومین کنفرانس بین المللی مهندسی دانش بنیان و نوآوری
تعداد صفحات: 6 | زبان: انگلیسیمقاله ژورنالی
A Pareto-based Optimizer for Workflow Scheduling in Cloud Computing Environment
نویسندگان: Azade Khalili، Seyed Morteza Babamir
سال انتشار 1394
محل انتشار: مجله بین المللی ارتباطات و فناوری اطلاعات شماره 1، دوره 8
تعداد صفحات: 9 | زبان: انگلیسی
مقاله ژورنالی
A Novel Two-Step Classification Approach for Runtime Performance Improvement of Duplicate Bug Report Detection
نویسندگان: Behzad Soleimani Neysiani، Seyed Morteza Babamir
سال انتشار 1402
محل انتشار: مجله مهندسی کامپیوتر و دانش شماره 1، دوره 6
تعداد صفحات: 14 | زبان: انگلیسی
مقاله ژورنالی
A Multi-Objective Approach With WASPAS Decision-Making for Workflow Scheduling in Cloud Environment
نویسندگان: Fatemeh Ebadifard، Seyed Morteza Babamir
سال انتشار 1397
محل انتشار: فصلنامه بین المللی وب پژوهی شماره 1، دوره 1
تعداد صفحات: 10 | زبان: انگلیسی
نتایج 1 تا 10 از مجموع 11