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 purpose of this study is to reveal the dynamics of house prices and sales in spatial and temporal dimensions across British regions.

This paper incorporates two empirical approaches to describe the behaviour of property prices across British regions. The models are applied to two different data sets. The first empirical approach is to apply the price diffusion model proposed by Holly et al. (2011) to the UK house price index data set. The second empirical approach is to apply a bivariate global vector autoregression model without a time trend to house prices and transaction volumes retrieved from the nationwide building society.

Identifying shocks to London house prices in the GVAR model, based on the generalized impulse response functions framework, I find some heterogeneity in responses to house price changes; for example, South East England responds stronger than the remaining provincial regions. The main pattern detected in responses and characteristic for each region is the fairly rapid fading of the shock. The spatial-temporal diffusion model demonstrates the presence of a ripple effect: a shock emanating from London is dispersed contemporaneously and spatially to other regions, affecting prices in nondominant regions with a delay.

The main contribution of this work is the betterment in understanding how house price changes move across regions and time within a UK context.

Corporate digital transformation (CDT) has challenged traditional tax administration systems. This study examines the impact of CDT on tax avoidance behavior and tests whether tax authorities can identify this behavior.

Using data on listed companies on the Shanghai and Shenzhen Stock Exchanges from 2008 to 2020, this study applies the Heckman two-stage and cross-section models.

The results show that the higher the degree of CDT, the more aggressive the tax avoidance behavior. The CDT's impact on corporate tax avoidance is more significant under strong government tax efforts.

This study expands research on the economic consequences of CDT and the factors influencing corporate tax avoidance behavior. Moreover, it has important implications for governments to monitor tax avoidance behavior under the CDT, improve digital tax systems, and pay more attention to the tax administration of digital assets.

The credit of agricultural product quality and safety reflects the ability of the main actors involved in the supply chain to provide reliable agricultural products to consumers. To fundamentally solve the problem of agricultural product quality and safety, it is worth studying how to make the credit awareness and integrity self-discipline of the supply chain agriculture-related subjects strengthened and the role and value of credit supervision given full play. Starting from the application of blockchain in the agricultural product supply chain, this paper aims to investigate the main factors affecting the credit regulation of agricultural product quality.

Using the DEMATEL-ISM (decision-making trial and evaluation laboratory–interpretative structural modeling) method, we analyze the credit influencing factors of agricultural quality and safety empowered by blockchain technology, find the causal relationship between the crucial influencing factors and deeply explore the hierarchical transmission relationship between the influencing factors. Then, the path analysis in structural equation modeling is utilized to verify and measure the significance and effect value of the transmission relationship among the crucial influencing factors of credit regulation.

The results show that the quality and safety credit regulation of agricultural products is influenced by a combination of direct and deep influencing factors. Long-term stable cooperative relationship, Quality and safety credit evaluation, Supply chain risk control ability, Quality and safety testing, Constraints of the smart contract are the main influence path of blockchain embedded in agricultural product supply chain quality and safety credit supervision.

Credit supervision is an important means to improve the ability and level of social governance and standardize the market order. From the perspective of blockchain embedded in the agricultural supply chain, the regulatory body is transformed from the product body to the supply chain body. Take the credit supervision of supply chain subjects as the basis of agricultural product quality supervision. With the help of blockchain technology to improve the effectiveness of agricultural product quality and safety credit supervision, credit supervision is used to constrain and incentivize the behavior of agricultural subjects.

Digital supply chains require nascent technologies like blockchain and Internet of Things (IoT). There is a need to develop a roadmap for the implementation of these technologies, as they require a huge amount of resources and infrastructure. The purpose of this paper is to analyze the challenges of implementing blockchain-IoT integrated architecture in the green supply chain and develop strategies for the same.

After a thorough literature survey of Scopus-indexed journals and books, 37 barriers were identified, which were then brought down to 15 barriers after confirming with industry and academic experts using the Delphi method. Using the total interpretive structural modeling (TISM) method and cross-impact matrix multiplication applied to classification (MICMAC) analysis, the barriers were modeled, and finally, strategies were formulated using a concept map to handle the barriers in the blockchain-IoT integrated architecture for a green supply chain.

This paper presents the research on barriers that can be considered for incorporating blockchain and IoT in the green supply chain. It was found from the TISM model that environmental concerns are Level-1 barriers and need to be addressed by developing appropriate technology and allocating funds for the same. An integrated ecosystem with blockchain and IoT is developed.

The focus of this study was on the challenges of blockchain and IoT; hence, it is required to extend the research and find challenges for different industries and also analyze the criteria using other multi-criteria decision-making (MCDM) methods. Further research is required for the integration of blockchain-IoT with supply chain functions.

The transformation of a traditional supply chain into a green supply chain is possible with the integration of technologies. This research work and the strategies developed are useful to managers and practitioners working on technology implementation. Planning resources and addressing key barriers is possible with the concept maps and architecture developed.

Green supply chain management (SCM) is gaining importance in industry as well as the academic sector due to government Policies and norms worldwide for reducing emissions and encouraging environment-friendly production systems. Incorporating blockchain and IoT in a green supply chain will further digitize and increase transparency in supply chains.

We have done a categorization of all barriers based on the expert survey by academicians and industry experts from industries in India. The concept map helps in identifying possible solutions for the challenges and initiatives to be taken for the smooth integration of technologies in the green supply chain.

On the one hand, this paper is to further understand the residents' differentiated power consumption behaviors and tap the residential family characteristics labels from the perspective of electricity stability. On the other hand, this paper is to address the problem of lack of causal relationship in the existing research on the association analysis of residential electricity consumption behavior and basic information data.

First, the density-based spatial clustering of applications with noise method is used to extract the typical daily load curve of residents. Second, the degree of electricity consumption stability is described from three perspectives: daily minimum load rate, daily load rate and daily load fluctuation rate, and is evaluated comprehensively using the entropy weight method. Finally, residential customer labels are constructed from sociological characteristics, residential characteristics and energy use attitudes, and the enhanced FP-growth algorithm is employed to investigate any potential links between each factor and the stability of electricity consumption.

Compared with the original FP-growth algorithm, the improved algorithm can realize the excavation of rules containing specific attribute labels, which improves the excavation efficiency. In terms of factors influencing electricity stability, characteristics such as a large number of family members, being well employed, having children in the household and newer dwelling labels may all lead to poorer electricity stability, but residents' attitudes toward energy use and dwelling type are not significantly associated with electricity stability.

This paper aims to uncover household socioeconomic traits that influence the stability of home electricity use and to shed light on the intricate connections between them. Firstly, in this article, from the perspective of electricity stability, the characteristics of the power consumption of residents' users are refined. And the authors use the entropy weight method to comprehensively evaluate the stability of electricity usage. Secondly, the labels of residential users' household characteristics are screened and organized. Finally, the improved FP-growth algorithm is used to mine the residential household characteristic labels that are strongly associated with electricity consumption stability.

1. The stability of electricity consumption is important to the stable operation of the grid.

2. An improved FP-growth algorithm is employed to explore the influencing factors.

3. The improved algorithm enables the mining of rules containing specific attribute labels.

4. Residents' attitudes toward energy use are largely unrelated to the stability of electricity use.

The stability of electricity consumption is important to the stable operation of the grid.

An improved FP-growth algorithm is employed to explore the influencing factors.

The improved algorithm enables the mining of rules containing specific attribute labels.

Residents' attitudes toward energy use are largely unrelated to the stability of electricity use.

The current and modern electrical distribution networks, named smart grids (SGs), use advanced technologies to accomplish all the technical and nontechnical challenges naturally demanded by energy applications. Energy metering collecting is one of these challenges ranging from the most basic (i.e., visual assessment) to the expensive advanced metering infrastructure (AMI) using intelligent meters networks. The AMIs’ data acquisition and system monitoring environment require enhancing some routine tasks. This paper aims to propose a methodology that uses a distributed and sustainable approach to manage wide-range metering networks, focused on using current public or private telecommunication infrastructure, optimizing the implementation and operation, increasing reliability and decreasing costs.

Inspired by blockchain technology, a collaborative metering system architecture is conceived, managing massive data sets collected from the grid. The use of cryptography handles data integrity and security issues.

A robust proof-of-concept simulation results are presented concerning the resilience and performance of the proposed distributed remote metering system.

The methodology proposed in this work is an innovative AMI solution related to SGs. Regardless of the implementation, operation and maintenance of AMIs, the proposed solution is unique, using legacy and new technologies together in a reliable way.

This study aims to predict customer churn in resort hotels by calculating the churn probability of repeat customers for future stays in the same hotel brand.

Based on the recency, frequency, monetary (RFM) paradigm, random forest and logistic regression supervised machine learning algorithms were used to predict churn behavior. The model with superior performance was used to detect potential churners and generate a priority matrix.

The random forest algorithm showed a higher prediction performance with an 80% accuracy rate. The most important variables were RFM-based, followed by hotel sector-specific variables such as market, season, accompaniers and booker. Some managerial strategies were proposed to retain future churners, clustered as “hesitant,” “economy,” “alternative seeker,” and “opportunity chaser” customer groups.

This study contributes to the theoretical understanding of customer behavior in the hospitality industry and provides valuable insight for hotel practitioners by demonstrating the methods that facilitate the identification of potential churners and their characteristics.

Most customer retention studies in hospitality either concentrate on the antecedents of retention or customers’ revisit intentions using traditional methods. Taking a unique place within the literature, this study conducts churn prediction analysis for repeat hotel customers by opening a new area for inquiry in hospitality studies.

This paper aims to explore the relationship between market pricing and design quality within the development industry. Currently, there is a lack of research that examines real estate at the property level. Development quality is widely believed to have diminished over the past decades, while many investors seem uninterested in the design process. The study aims to address these issues through a pricing model that integrates design attributes. It is hoped that empirical findings will invite broader stakeholder interest in the design process.

The research establishes a framework for assessing spatial compliance across residential developments within London. Compliance is assessed across ten boroughs, with technical space guidelines used as a proxy for design quality. Transaction prices and spatial assessments are aligned within a hedonic pricing model. Empirical findings are used to establish whether undermining spatial standards presents a significant development risk.

Findings suggest a relationship between sale time and unit size, with “compliant” units typically transacting earlier than “non-compliant” units. Almost half of the 1,600 apartments surveyed appear to undermine technical guidelines.

It is suggested that an array of design attributes be explored that extend beyond unit size. Additionally, future studies may consider the long-term implications of design quality via secondary transaction prices.

Practical implications include the development of a more scientific approach to design valuation. This may enhance the position of product design management within the development industry and architectural services.

Social implications may include improvement in residential design.

An innovative approach combines a thorough understanding of both design and economic principles.

Little is known about the determinants of supply chain finance (SCF) adoption among small and medium-sized enterprises (SMEs) in developing countries. This study aims to address this relevant research gap and hence, draws on the resource-based view and transaction cost economies to empirically investigate five factors that make SCF adoption practicable among SMEs in Ghana.

The approach involves a sample of 257 SME managers/owners and modelling via structural equations modelling.

All five factors (innovative capability, information sharing, inter- and intra-firm collaboration, external financing and trade process digitization) were found to impact positively and significantly on SCF adoption. The findings provide SME managers/owners with a research model which guides them on how to settle the SCF process.

This paper used a cross-sectional survey, which makes it impossible to access changes over time. In addition, the use of quantitative method limits respondents from expressing their feelings fully. Using a mixed or qualitative methodology will provide avenues for future research.

This paper offers a completive advantage for Ghanaian SMEs to strengthen their relationships while collaborating with each other. The findings suggest that by adopting SCF solutions, SMEs can optimize their liquidity and working capital. The factors underpinning SCF adoption are of incredible attractiveness for SME managers/owners to discover the relevant practice of SCF solutions. SMEs should adopt SCF strategies for improving their capability to respond promptly to transactions.

This paper is among the few papers that have examined these five factors in a developing economy context. The study also provides new understanding of the factors that influence SCF adoption in the context of a developing economy.