1 citations · 1 across the 3 of their papers we have counts for
6 papers
Assessing and Supplying the Health of Videos Games via Formal Semantics
Mohammad Reza Besharati, Mohammad Izadi
Video games, just like any other media have both explicit and implicit messages, and they can have impact on physical and mental health of the users. These impacts can be positive…
SELM: Software Engineering of Machine Learning Models
Nafiseh Jafari, Mohammad Reza Besharati, Mohammad Izadi +1
One of the pillars of any machine learning model is its concepts. Using software engineering, we can engineer these concepts and then develop and expand them. In this article, we p…
Modeling of Resource Allocation Mechanisms in Distributed Computing Systems using Petri Nets and Stochastic Activity Networks (SAN): a Review and Reo-based Suggestion
Mohammad Reza Besharati, Ali Sepehri Khameneh
Resource allocation is crucial in the distributed systems. It is a key step in designing the mechanisms of systems for determining the resource allocation mechanism, it is importan…
Langar: An Approach to Evaluate Reo Programming Language
Mohammad Reza Besharati, Mohammad Izadi
Reo is a formal coordination language. In order to assess and evaluate its capabilities, we need a multi-perspective Language Evaluation Framework. Langar (Language Analysis for Re…
KARB Solution: Compliance to Quality by Rule Based Benchmarking
Mohammad Reza Besharati, Mohammad Izadi
Instead of proofs or logical evaluations, compliance assessment could be done by benchmarking. Benchmarks, in their nature, are applied. So a set of benchmarks could shape an appli…
DAST Model: Deciding About Semantic Complexity of a Text
MohammadReza Besharati, Mohammad Izadi
Measuring text complexity is an essential task in several fields and applications (such as NLP, semantic web, smart education, etc.). The semantic layer of text is more tacit than…