In this article, we are interested in the exploration part of model checking which consists in traversing all the possible states of a system. We propose two approaches to exploration, parallel and sequential. We present a comparison between our parallel approach and the parallel algorithm proposed in SPIN.

The progress of image search engines still proceeds, but there are some challenges yet in complex queries. In this paper, we present a new semantic image search system, which is capable of multiple object retrieval using only visual content of the images. We have used the state-of-the-art image processing methods prior to the search, such as Fisher-vector and C-SVC classifier, in order to seman...

Lack of up-to-date software documentation hinders the software evolution and maintenance processes, as simply the outdated software structure and code could be easily misunderstood. One approach to overcoming such problems is using software modularization, in which the software architecture is extracted from the available source code; such that developers can assess the reconstructed architectu...

Playing computer games is a predominantly emotional than rational process. Video games with affect-based adaptation measure player’s behavior signals and recognize player’s emotional states in order to adapt specific game features in a dynamic manner and to improve player’s engagement, immersion, excitement, and challenge. The present review deals with models for the presentation of emotions, t...

Functional programming is among paradigms used for the real-world parallel application development. PSI of RAS during a considerable period of time develops the T-System approach based on functional programming. This paper briefly describes the architecture of the ACCT compiler system targeted at performing transformations of the TSystem programs. An algorithm for nonlocal optimizing transforma...

Cloud computing has emerged as the most dominant computational paradigm in recent times. There are tremendous benefits for enterprises adopting cloud technologies. It provides resources and services on demand, pay-as-you go basis. This includes infrastructure, platform and software services. But there are still a number of security threats and challenges associated with utilizing cloud computin...

We investigate the effect of inserting extra linearity in the Data Encryption Standard (DES) through appropriate nonsingular linear encodings of the output of the individual S-boxes. More specifically, we examine the general situation when the output of each S-box of the DES is precoded separately into a properly constructed copy of the inherent even-weight code of length 4. The study is focuse...

Traditionally, (k, n) secret image sharing is an approach of breaking down a secret image into n number of shadow images to assign them to n number of users, so that any k or more then k users can bring back the secret image. But in case of less than k, users cannot reveal any partial information about the original image. We have proposed a significant secret image sharing technique based on XO...

This paper presents a group multi-criteria DEMATEL and VIKOR decision analysis method with interval type-2 fuzzy sets. In order to compare normal fuzzy trapezoidal numbers, we convert them into crisp values using graded mean integration representation. By a case study for selection of business intelligence platform, we prove that the proposed combination is a feasible solution that can work wit...