We introduce on-the-fly composition, symbolic modelling and lazy iterated approximation refinement for game-semantic models. We present Mage, an experimental model checker implementing this new technology. We discuss several typical examples and compare Mage with Blast and GameChecker, which are the state-of-the-art tools in onthe-fly software model checking, and game-based model checking.

This paper investigates the problem of finding author interest in coauthor network through topic modeling with providing several performance evaluation measures. Intuitively, there are two types of explicit grouping exists in research papers (1) authors who have co-authored with author A in one document (subgroup) and (2) authors who have co-authored with author A in all documents (group). Trad...

irrigular land use, land degradation and increasing yield per surface area unit supplicate to be inevitable optimal land utilization.so land evaluation, planning and management to be necessary to achieve a sustainabledevelopment.following this trend, microleis (mediterranean land evaluation information system)has evolved towards an agro-ecological decision support system.the goal of this study ...

While many researchers devoted numerous articles to the organizational culture, relatively few articles have been contributed to culture and performance research. The purpose of this study is to shed light on the role of organizational culture on performance. To achieve this goal and in order to measure organizational culture, Denison organizational culture model was used. The components of thi...

For many years, purchasing and supplier performance evaluation have been discussed in both academic and industrial circles to improve buyer-supplier relationship. In this study, a novel model is presented to evaluate supplier performance according to different purchasing classes. In the proposed method, clustering analysis is applied to develop purchasing portfolio model using available data in...