Search results

Smart contracts are written in high-level programming languages, compiled into Ethereum Virtual Machine (EVM) bytecode, deployed onto blockchain systems and called with the corresponding address by transactions. The deployed smart contracts are immutable, even if there are bugs or vulnerabilities. Therefore, it is critical to verify smart contracts before deployment. This paper aims to help developers effectively and efficiently locate potential defects in smart contracts.

GethReplayer, a smart contract testing method based on transaction replay, is proposed. It constructs a parallel transaction execution environment with two virtual machines to compare the execution results. It uses the real existing transaction data on Ethereum and the source code of the tested smart contacts as inputs, conditionally substitutes the bytecode of the tested smart contract input into the testing EVM, and then monitors the environmental information to check the correctness of the contract.

Experiments verified that the proposed method is effective in smart contract testing. Virtual environmental information has a significant effect on the success of transaction replay, which is the basis for the performance of the method. The efficiency of error locating was approximately 14 times faster with the proposed method than without. In addition, the proposed method supports gas consumption analysis.

This paper addresses the difficulty that developers encounter in testing smart contracts before deployment and focuses on helping develop smart contracts with as few defects as possible. GethReplayer is expected to be an alternative solution for smart contract testing and provide inspiration for further research.

The COVID-19 pandemic and technological advancements have enabled employees to telework. Referring to this emerging phenomenon, the authors aim to examine how employees' levels of trust in management mediated by psychological well-being impact their performance as they telework. Deploying the theoretical lens of person-environment misfit, the authors also explore the role of technostress in the trust-wellbeing-performance relationship.

The data was collected from 511 full-time service sector employees across Indian organizations through a structured survey questionnaire. The proposed moderation-mediation model for this study was tested using structural equation modeling and bootstrapping method.

Structural equation modeling results indicate that trust in management significantly impacts employee performance while teleworking. While psychological well-being was observed as a significant mediator, technostress played the moderator role in the trust-performance relationship. The moderated-mediation effect of psychological well-being in the trust-performance relationship was stronger when technostress was low and weaker when technostress was high.

The authors extend the person-environment misfit theory in the context of telework, highlighting the role of technostress that may impact the trust-wellbeing- performance relationship in such work settings.

The study informs leaders and managers on balancing delicate aspects such as employee trust and well-being that significantly impact performance as they telework. The authors also highlight the critical role of managers in respecting employees' personal and professional boundaries to alleviate technostress.

The authors make a novel theoretical contribution to the emerging literature on teleworking by examining the trust-psychological wellbeing-performance link and the role of technostress in this relationship.

The compliance checking of Building Information Modeling (BIM) models is crucial throughout the lifecycle of construction. The increasing amount and complexity of information carried by BIM models have made compliance checking more challenging, and manual methods are prone to errors. Therefore, this study aims to propose an integrative conceptual framework for automated compliance checking of BIM models, allowing for the identification of errors within BIM models.

This study first analyzed the typical building standards in the field of architecture and fire protection, and then the ontology of these elements is developed. Based on this, a building standard corpus is built, and deep learning models are trained to automatically label the building standard texts. The Neo4j is utilized for knowledge graph construction and storage, and a data extraction method based on the Dynamo is designed to obtain checking data files. After that, a matching algorithm is devised to express the logical rules of knowledge graph triples, resulting in automated compliance checking for BIM models.

Case validation results showed that this theoretical framework can achieve the automatic construction of domain knowledge graphs and automatic checking of BIM model compliance. Compared with traditional methods, this method has a higher degree of automation and portability.

This study introduces knowledge graphs and natural language processing technology into the field of BIM model checking and completes the automated process of constructing domain knowledge graphs and checking BIM model data. The validation of its functionality and usability through two case studies on a self-developed BIM checking platform.

Despite similarities, research across family business and business advising forwards contradictory conclusions when considering family business advising. The authors seek to integrate these literature and in doing so uncover both the hurdles facing family business advisors attempting to adapt tools developed in corporate advising to the family business context as well as the potential for greater integration of these streams in ways that contribute to both family business and advising research and practice.

Primary data were collected both in the form of a survey questionnaire and website marketing content. In the survey, 47 family business advisors evaluated the distinctiveness of their family business clients across structural, cognitive and relational social capital dimensions. Motivated by unexpected findings, a content analysis of advisor websites uncovered specific marketing themes that illustrate the divides between family business advising and scholarship.

Family business advisors reliably acknowledge structural and cognitive social capital as preeminently characterizing the distinctiveness of their family business clients. Expanding on this, the authors’ findings suggest that the urgency signaled in advisor marketing via their websites may inspire tactics misaligned with the long-term time horizon typically characterizing family businesses strategy.

The few family business advising studies that exist predominantly consider post-hoc evaluation of advising by family business clients. The primary data the authors collect are unique in the literature in that the data detail how family business advisors perceive and engage with potential clients.

The main issue is whether customers prefer convenience over Shariah compliance or the opposite when they decide their Islamic banking needs. The purpose of this paper is to explore why customers adopt Islamic banking products and services: Shariah compliance or convenience?

Using convenience sampling, 310 respondents’ data were collected through online survey. For testing the fit and hypotheses of the proposed model, AMOS 25 software and Smart-PLS 4.0 software have been used.

Attitude, Islamic value and convenience have significant determinants of Islamic banking products and services. Shariah compliance has no direct or indirect influence on neither intention nor actual behaviour to adopt Islamic banking services. Furthermore, gender has no such differential effect on the adoption.

Managers and marketers of Islamic banks may benefit from the findings of this study, which demonstrate fresh insights regarding the factors which help in strategy formulations to promote Islamic banking services.

The growth of Islamic banks, branches and windows is remarkable in both Muslim-majority and Muslim-minority countries in the world. This paper postulates the behavioural finance studies in Islamic banking and finance research stream by extending the theory of planned behaviour of Ajzen (1985) as all the three new constructs (Islamic value, convenienc and Shariah compliance) are statistically fit for further studies. However, only Islamic value and convenience are the two significant factors which drive customers to take decision in the proposed model. This study gives insights to the bankers and authority about the consumer behaviour.

Preservice teachers (n = 39) described their definitions of patriotism and to what extent they believed statements from The 1619 Project (2019) and The 1776 Commission Report (2021) were patriotic.

This study employed a mixed-method survey including open-ended prompts requesting participants’ descriptions of patriotism and Likert scale prompts asking participants to agree/disagree with deidentified statements from The 1619 Project and the 1776 Commission Report. In vivo words reflecting emotional responses to patriotism and the statements informed the categorization process in a second round of coding.

Four categories of patriotism definition were identified. Identified were relationships between groups’ conceptualizations of patriotism and whether statements from history narratives were viewed as patriotic.

This article contributes to the field by exploring the intersectionality of the concept of patriotism with competing narratives regarding the foundation and growth of the United States.

This study aims to explore the role of the linguistic style used in the brand-posted social media content on consumer engagement in the Fintech domain.

A total of 3,286 tweets (registering nearly 1.35 million impressions) published by 10 leading Fintech unicorns in India were extracted using the Twitter API. The Linguistic Inquiry and Word Count (LIWC) dictionary was used to analyse the linguistic characteristics of the shared tweets. Negative Binomial Regression (NBR) was used for testing the hypotheses.

This study finds that using drive words and cognitive language increases consumer engagement with Fintech messages via the central route of information processing. Further, affective words and conversational language drive consumer engagement through the peripheral route of information processing.

The study extends the literature on brand engagement by unveiling the effect of linguistic features used to design social media messages.

The study provides guidance to social media marketers of Fintech brands regarding what content strategies best enhance consumer engagement. The linguistic style to improve online consumer engagement (OCE) is detailed.

The study’s findings contribute to the growing stream of Fintech literature by exploring the role of linguistic style on consumer engagement in social media communication. The study’s findings indicate the relevance of the dual processing mechanism of elaboration likelihood model (ELM) as an explanatory theory for evaluating consumer engagement with messages posted by Fintech brands.

Prefabricated building has been widely applied in the construction industry all over the world, which can significantly reduce labor consumption and improve construction efficiency compared with conventional approaches. During the construction of prefabricated buildings, the overall efficiency largely depends on the lifting sequence and path of each prefabricated component. To improve the efficiency and safety of the lifting process, this study proposes a framework for automatically optimizing the lifting path of prefabricated building components using building information modeling (BIM), improved 3D-A* and a physic-informed genetic algorithm (GA).

Firstly, the industry foundation class (IFC) schema for prefabricated buildings is established to enrich the semantic information of BIM. After extracting corresponding component attributes from BIM, the models of typical prefabricated components and their slings are simplified. Further, the slings and elements’ rotations are considered to build a safety bounding box. Secondly, an efficient 3D-A* is proposed for element path planning by integrating both safety factors and variable step size. Finally, an efficient GA is designed to obtain the optimal lifting sequence that satisfies physical constraints.

The proposed optimization framework is validated in a physics engine with a pilot project, which enables better understanding. The results show that the framework can intuitively and automatically generate the optimal lifting path for each type of prefabricated building component. Compared with traditional algorithms, the improved path planning algorithm significantly reduces the number of nodes computed by 91.48%, resulting in a notable decrease in search time by 75.68%.

In this study, a prefabricated component path planning framework based on the improved A* algorithm and GA is proposed for the first time. In addition, this study proposes a safety-bounding box that considers the effects of torsion and slinging of components during lifting. The semantic information of IFC for component lifting is enriched by taking into account lifting data such as binding positions, lifting methods, lifting angles and lifting offsets.

Active shooter incidents have risen considerably in recent years, elevating public and law enforcement focus on improving response to these incidents. The contemporary policy for reacting to an active shooter event is for the officers who first arrive on the scene to move quickly to engage and neutralize a shooter, prioritizing victim safety and minimizing loss of life. This study provides a preliminary understanding of the police view regarding their role in active shooter events and their experiences with active shooter training.

We conducted a survey of 413 sworn personnel across three US cities. Analyses examine differences in officers’ training experiences across the agencies and predictors of a sense of duty to prioritize victims’ lives over that of officers.

Officers’ training experiences differed by agency, yet most officers supported a duty to sacrifice their lives to prioritize victims’ safety during active shooter incidents. Officers with more years of experience have lower odds of supporting a duty to sacrifice their lives to save victims during an active shooter situation relative to less experienced officers. Respondents who recall officer safety among the top three most memorable topics from their recent active shooter training also have lower odds of supporting a duty to sacrifice.

The authors add knowledge about police officers’ experiences with active shooter training and officers’ opinions about their role in responding to active shooter incidents. We discuss implications of the findings relative to police culture and training and suggest directions for future research.

Achieving swift and even flow of cargo through the border, the ultimate objective of cross-border logistics (CBL) requires the close coordination and collaboration of a multitude of stakeholders, as well as optimally configured systems. To achieve and sustain competitiveness in a dynamic international trade environment, CBL processes must undergo periodic analysis, improvement and optimization. This study aims to develop a modelling framework to capture CBL processes for analysis and improvement.

Relying on the extant literature, a meta-model is developed incorporating significant perspectives required to model CBL processes. Popular process modelling notations are evaluated against the meta-model and their ease of comprehension is also evaluated. The selected notation through evalution is augmented with addendums for a comprehensive depiction of CBL processes.

The capacity of role activity diagrams (RADs) to depict all perspectives, including interactions in a single diagram, makes them particularly suitable for modelling CBL processes. RADs have been complemented with physical flow diagrams and methods to capture temporal dimension, enabling a comprehensive view of CBL processes laying the foundation for insightful analysis.

The meta-model developed in this paper paves the way to develop an analysis framework which requires further research.

The lack of well-accepted modelling notations for studying CBL processes prompts researchers to search and adapt different formalisms. This study has filled this gap by proposing a comprehensive modelling framework able to capture CBL processes at different granularities in rich detail. Not only does the developed meta-model aid in selecting the notation, it is also useful in analysing the constituent elements of CBL processes.