Search results

The purpose of this paper is to present a formal verification method to prove the correctness of social customer relationship management (CRM)-based service composition approach. The correctness of the proposed approach is analyzed to evaluate the customer behavioral interactions for discovering, selecting and composing social CRM-based services. In addition, a Kripke structure-based verification method is presented for verifying the behavioral models of the proposed approach.

Evaluating the customer behavioral interactions using the social CRM-based service composition approach is an important issue. In addition, formal verification has an important role in assessing the social CRM-based service composition. However, model checking can be efficient as a verification method to evaluate the functional properties of the social CRM-based service composition approach.

The results of model checking satisfied the logical problems in the proposed behavior model analysis. In the statistical testing, the proposed URM mechanism supported the four knowledge creation process conditions. It was also shown that the percentage of state reachability in the URM with KCP conditions is higher than the URM mechanism without supporting KCP conditions.

The comparison of time and memory consumption of the model checking method shows that the social CRM-based service composition approach covers knowledge process features, which makes it an efficient method.

The purpose of this paper is to describe how formal verification strategies have been utilized to assess the correctness of Knowledge Creation Process (KCP) in the social systems. This paper analyzes a User Relationship Management (URM) approach in term of human behavior connection in the social systems. A formal framework is displayed for the URM which consolidates behavioral demonstrating strategy.

Evaluating the human behavior interactions is an important matter in the social systems. For this analysis, formal verification is an essential section in the complex information systems development. Model checking results satisfied the logical problems in the proposed behavior model analysis.

Model checking results represent satisfaction of the logical problems in the proposed behavior model analysis. In the statistical testing, the proposed URM mechanism supported KCP conditions. Also, the percentage of state reachability in the URM with KCP conditions is higher than the URM mechanism without supporting KCP conditions.

The model checking results show that the proposed URM mechanism with supporting the KCP conditions satisfies comprehensively behavioral interactions rather than the mechanism without KCP conditions in the social networks.

Big data challenges and opportunities on the Internet of Vehicles (IoV) have emerged as a transformative paradigm to change intelligent transportation systems. With the growth of data-driven applications and the advances in data analysis techniques, the potential for data-adaptive innovation in IoV applications becomes an outstanding development in future IoV. Therefore, this paper aims to focus on big data in IoV and to provide an analysis of the current state of research.

This review paper uses a systematic literature review methodology. It conducts a thorough search of academic databases to identify relevant scientific articles. By reviewing and analyzing the primary articles found in the big data in the IoV domain, 45 research articles from 2019 to 2023 were selected for detailed analysis.

This paper discovers the main applications, use cases and primary contexts considered for big data in IoV. Next, it documents challenges, opportunities, future research directions and open issues.

This paper is based on academic articles published from 2019 to 2023. Therefore, scientific outputs published before 2019 are omitted.

This paper provides a thorough analysis of big data in IoV and considers distinct research questions corresponding to big data challenges and opportunities in IoV. It also provides valuable insights for researchers and practitioners in evolving this field by examining the existing fields and future directions for big data in the IoV ecosystem.

The concept of e-learning is essential in employee education since it provides different ways to develop employees' knowledge, skills and attitudes using modern technologies. E-learning has been overgrowing in employee education because learning can be held anytime and anywhere. In order to succeed in implementing e-learning and benefiting from its capacities, and avoiding potential threats in the country, it is necessary to address the factors affecting its success. This paper aims to test the role of internet of Things (IoT)-based systems, cloud-based services, virtual classes, evaluation tools, attitude, content management and creativity on the success of employees' e-learning programs based on a framework.

E-learning systems receive ever-increasing attention in academia, business and public administration. With the development of e-learning, employee education has also benefited from its capacities in various fields. To succeed in implementing e-learning and benefiting from its capacities, and avoiding potential threats in the country, it is necessary to address its success. The proposing of Information and Communications Technology (ICT)-based technologies such as the IoT, cloud, etc., in e-learning, can help transform education. Therefore, this paper aims to test the role of IoT-based systems, cloud-based services, virtual classes, evaluation tools, attitude, content management and creativity on the success of employees' e-learning programs based on a framework. The research model and the data collected from the questionnaires have been analyzed via Smart PLS 3.2. This study has utilized the SEM to evaluate the causal model's reliability and validity based on measurement. According to the literature in this study, a framework has been proposed that examines the impact of IoT-based systems, cloud-based services, virtual classes, evaluation tools, attitude, content management and creativity on employees' learning programs' success.

The results have shown that IoT-based systems, cloud-based services, virtual classes and evaluation tools are four significant factors affecting attitude, content management and creativity. The results have also shown that attitude, content management and creativity are three significant factors affecting employees' learning programs' success. The factors above are considered critical in explaining the success of employees' e-learning programs, but, as far as we know, there has been no study in which all these factors were demonstrated together.

From a practical viewpoint, the statistical outcomes support the important role of the following factors: IoT-based systems, cloud-based services, virtual classes, evaluation tools, attitude, content management and creativity. Henceforth, aspects relating to these factors got the attention of any organization to develop e-learning processes.

This research will contribute to the literature related to employees' e-learning programs' success by integrating all the mentioned variables. As far as we know, it is the first study to test these variables in Iran.

Expert Cloud as a new class of Cloud computing systems enables its users to request the skill, knowledge and expertise of people by employing internet infrastructures and Cloud computing concepts without any information of their location. Job scheduling is one of the most important issue in Expert Cloud and impacts on its efficiency and customer satisfaction. The purpose of this paper is to propose an applicable method based on genetic algorithm for job scheduling in Expert Cloud.

Because of the nature of the scheduling issue as a NP-Hard problem and the success of genetic algorithm in optimization and NP-Hard problems, the authors used a genetic algorithm to schedule the jobs on human resources in Expert Cloud. In this method, chromosome or candidate solutions are represented by a vector; fitness function is calculated based on response time; one point crossover and swap mutation are also used.

The results indicate that the proposed method can schedule the received jobs in appropriate time with high accuracy in comparison to common methods (First Come First Served, Shortest Process Next and Highest Response Ratio Next). Also the proposed method has better performance in term of total execution time, service+wait time, failure rate and Human Resource utilization rate in comparison to common methods.

In this paper the job scheduling issue in Expert Cloud is pointed out and the approach to resolve the problem is applied into a practical example.

This study aims to provide an overview of what characterizes the current state of research in the field of cloud computing use in human resource management (HRM) with the identification, analysis and classification of the existing literature and lines of research addressed and to provide guidance for future research.

The systematic literature review (SLR) technique has been used to identify, select, analyze and evaluate the existing publications on cloud computing and HRM. A total of 35 papers published up to December 2020 have been obtained from the Web of Science (WoS) scientific database. The research design has allowed us to determine what characterizes the current state of research on the use of cloud computing in HRM and obtain a novel classification of the literature that identifies four lines of research and the contributions in each line and has allowed us to define the future research agenda.

The four groups into which the papers on the cloud computing-HRM relationship have been classified are: (1) studies focused on the development of cloud platforms for HRM that highlight technical aspects, (2) papers that focus on the concept of human resource elasticity, (3) papers on the adoption and/or implantation of cloud platforms for HRM and (4) studies that highlight the effects or implications of cloud platforms for HRM. This paper proposes some new opportunities for future research and presents some helpful implications from the theoretical and management perspectives.

This study uses only scientific articles in the WoS database with a Journal Citation Report (JCR) or SCImago Journal Rank (SJR) impact.

This paper provides an overview of the knowledge on cloud computing and HRM research and offers recommendations for future research.

Unfortunately, the occurrence of natural disasters is inevitable all over the world. Hence, this paper aims to analyze a scenario-based collaborative problem in a relief supply chain (RSC), where nongovernmental organizations can participate in relief activities with governmental organizations. This study focuses on location-allocation, inventory management and distribution planning under uncertain demand, budget, transportation and holding costs where government and private distribution centers receive relief items from suppliers then send them to affected areas. The performance of the proposed model is surveyed in a real case study in Dorud.

This paper develops a nonlinear mixed-integer programming model that seeks to maximize the coverage of demand points and minimize operating costs and traveled distance. The linear programming-metric technique and grasshopper optimization algorithm are applied to survey the model's applicability and efficiency.

This study compares noncollaborative and collaborative cases in terms of the number of applied distribution centers and RSC's goals, then demonstrates that the collaborative model not only improves the coverage of demand points but also minimizes cost and traveled distance. In fact, the presented approach helps governments efficiently surmount problems created after a disaster, notwithstanding existing uncertainties, by determining a strategic plan for collaboration with nongovernmental organizations for relief activities.

Relief strategies considered in previous research have not been sufficiently examined from the perspective of collaboration of governmental and nongovernmental organizations and provided an approach to develop the coverage of affected areas and reducing costs and traveled distance despite various uncertainties. Hence, the authors aim to manage RSCs better by offering a mathematical model whose performance has been proved in a real case study.