لطفا کمی صبر نمایید ...
ورود
Advanced Search
Thesis
مقالات فارسی
ISI
کنفرانسها
ژورنالها
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Login / Register
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Thesis
Dark Mode
استعلام پایان نامه
جستجوی مقالات داخلی
Catehory
Conference Papers
Journal Papers
Books
Plans
Research documents
Rports
Result Type:
Full Text
Has Word File
Search regardless of the position of the words
Limit article publication year to:
All years
Specific years:
Search
Show
All Information
Only Paper Title
Item Per Page
10
20
Sort By
Paper title
Year
Indexing
ABS
DESC
فیلتر نتایج
Behzad Soleimani Neysiani
Seyed Morteza Babamir
نتایج 1 تا 10 از مجموع 11
1
2
Journal Paper
A Novel Two-Step Classification Approach for Runtime Performance Improvement of Duplicate Bug Report Detection
Authors:
Behzad Soleimani Neysiani
،
Seyed Morteza Babamir
Year 1402
Publish place:
Computer and Knowledge Engineering Issue 1، Vol 6
Pages:
14
| Language: English
View And Download
Journal Paper
A Method for Assessing Maintainability of Software Architectural Styles in Self-healing Systems by Measuring Coupling and Cohesion
Authors:
Azam Farokh
،
Seyed Morteza Babamir
Year 1394
Publish place:
Journal of Computing and Security Issue 1، Vol 2
Pages:
12
| Language: English
View And Download
Journal Paper
Ranking of Common Architectural Styles Based on Availability, Security and Performance Quality Attributes
Authors:
Safieh Tahmasebipour
،
Seyed Morteza Babamir
Year 1393
Publish place:
Journal of Computing and Security Issue 2، Vol 1
Pages:
11
| Language: English
View And Download
Journal Paper
A Pareto-based Optimizer for Workflow Scheduling in Cloud Computing Environment
Authors:
Azade Khalili
،
Seyed Morteza Babamir
Year 1394
Publish place:
International Journal of Information and Communication Technology Research (IJICT Issue 1، Vol 8
Pages:
9
| Language: English
View And Download
Journal Paper
QoS-aware web service composition using Gray Wolf Optimizer
Authors:
Meysam Karimi
،
Seyed Morteza Babamir
Year 1395
Publish place:
International Journal of Information and Communication Technology Research (IJICT Issue 1، Vol 9
Pages:
8
| Language: English
View And Download
Journal Paper
A Multi-Objective Approach With WASPAS Decision-Making for Workflow Scheduling in Cloud Environment
Authors:
Fatemeh Ebadifard
،
Seyed Morteza Babamir
Year 1397
Publish place:
International Journal of Web Research Issue 1، Vol 1
Pages:
10
| Language: English
View And Download
Journal Paper
Runtime verification of programs using rule-based active system
Authors:
Seyed Morteza Babamir
،
M. ZERAFAT ANGIZ L.
،
A. Niknam
Year 1391
Publish place:
Journal of Mahani Mathematical Research Issue 1، Vol 1
Pages:
19
| Language: English
View And Download
Conference Paper
Formal Verification of UML Statecharts using the LOTOS Formal Language
Authors:
Mohamad Javani
،
Behzad Soleimani Neysiani
،
Seyed Morteza Babamir
Year 1394
Publish place:
2nd Internatioanl Conference on Knowledge -Base Engineering and Innovation
Pages:
7
| Language: English
View And Download
Conference Paper
Automatic verification of uml state chart by bogor model checking tool Automatic formal verification of network and distributed systems
Authors:
Behzad Soleimani Neysian
،
Seyed Morteza Babamir
Year 1394
Publish place:
2nd Internatioanl Conference on Knowledge -Base Engineering and Innovation
Pages:
6
| Language: English
View And Download
Journal Paper
enhancing efficiency of softwarw fault tolerance techniques in satellite motion system
Authors:
Hoda Banki
،
Seyed Morteza Babamir
،
Azam Farokh
،
Mohammad Morovati
Year 1393
Publish place:
The Journal of Information Systems and Telecommunication (JIST) Issue 7، Vol 2
Pages:
8
| Language: English
View And Download
نتایج 1 تا 10 از مجموع 11
1
2