Ning Hu¹, Yu Teng², Yan Zhao¹, Shi Yin¹, Yue Zhao^3,*

CMES-Computer Modeling in Engineering & Sciences, Vol.129, No.1, pp. 299-322, 2021, DOI:10.32604/cmes.2021.016839

Abstract The rapid development of blockchain technology has provided new ideas for network security research. Blockchain-based network security enhancement solutions are attracting widespread attention. This paper proposes an Internet domain name verification method based on blockchain. The authenticity of DNS (Domain Name System) resolution results is crucial for ensuring the accessibility of Internet services. Due to the lack of adequate security mechanisms, it has always been a challenge to verify the authenticity of Internet domain name resolution results. Although the solution represented by DNSSEC (Domain Name System Security Extensions) can theoretically solve the domain name verification problem, it has not been… More >

Amr Hefny¹, Aboul Ella Hassanien², Sameh H. Basha^1,*

CMC-Computers, Materials & Continua, Vol.69, No.2, pp. 2367-2386, 2021, DOI:10.32604/cmc.2021.018017

Abstract Identity verification using authenticity evaluation of handwritten signatures is an important issue. There have been several approaches for the verification of signatures using dynamics of the signing process. Most of these approaches extract only global characteristics. With the aim of capturing both dynamic global and local features, this paper introduces a novel model for verifying handwritten dynamic signatures using neutrosophic rule-based verification system (NRVS) and Genetic NRVS (GNRVS) models. The neutrosophic Logic is structured to reflect multiple types of knowledge and relations among all features using three values: truth, indeterminacy, and falsity. These three values are determined by neutrosophic membership… More >

Daojun Han^1,2,3, Jinyu Chen^3,4, Lei Zhang^1,2,3,*, Yatian Shen^1,2,3, Yihua Gao^3,5, Xueheng Wang^3,6

CMES-Computer Modeling in Engineering & Sciences, Vol.128, No.1, pp. 223-245, 2021, DOI:10.32604/cmes.2021.016000

Abstract As one of the most valuable technologies, blockchains have received extensive attention from researchers and industry circles and are widely applied in various scenarios. However, data on a blockchain cannot be deleted. As a result, it is impossible to clean invalid and sensitive data and correct erroneous data. This, to a certain extent, hinders the application of blockchains in supply chains and Internet of Things. To address this problem, this study presents a deletable and modifiable blockchain scheme (DMBlockChain) based on record verification trees (RVTrees) and the multisignature scheme. (1) In this scheme, an RVTree structure is designed and added… More >

Youbang Guan^1,2, Bong Jun Choi^3,*

CMC-Computers, Materials & Continua, Vol.68, No.2, pp. 2399-2411, 2021, DOI:10.32604/cmc.2021.012365

Abstract Smart home technology provides consumers with network connectivity, automation or enhanced services for home devices. With the Internet of Things era, a vast data flow makes business platforms have to own the same computing power to match their business services. It achieves computing power through implementing big data algorithms deployed in the cloud data center. However, because of the far long geographical distance between the client and the data center or the massive data capacity gap, potentially high latency and high packet loss will reduce the usability of smart home systems if service providers deploy all services in the cloud… More >

Asadullah Shaikh^1,*, Abdul Hafeez², M. A. Elmagzoub¹, Abdullah Alghamdi¹, Ansar Siddique³, Basit Shahzad⁴

Intelligent Automation & Soft Computing, Vol.27, No.2, pp. 565-579, 2021, DOI:10.32604/iasc.2021.015071

Abstract Unified Modeling Language (UML) models are considered important artifacts of model-driven engineering (MDE). This can automatically transform models to other paradigms and programming languages. If a model has bugs, then MDE can transfer these to a new code. The class model is a key component of UML that is used in analysis and design. Without a formal foundation, UML can create only graphical diagrams, making it impossible to verify properties such as satisfiability, consistency and consequences. Different techniques have been used to verify UML class models, but these do not support some important components. This paper transforms and verifies unsupported… More >

Weipeng Cao¹, Zhongwu Xie¹, Xiaofei Zhou², Zhiwu Xu¹, Cong Zhou¹, Georgios Theodoropoulos³, Qiang Wang^3,*

Journal on Artificial Intelligence, Vol.2, No.4, pp. 177-187, 2020, DOI:10.32604/jai.2020.014829

Abstract Software verification is a key technique to ensure the correctness of software. Although numerous verification algorithms and tools have been developed in the past decades, it is still a great challenge for engineers to accurately and quickly choose the appropriate verification techniques for the software at hand. In this work, we propose a general learning framework for the intelligent selection of software verification algorithms, and instantiate the framework with two state-of-the-art learning algorithms: Broad learning (BL) and deep learning (DL). The experimental evaluation shows that the training efficiency of the BL-based model is much higher than the DL-based models and… More >

Tao Jiang

Computer Systems Science and Engineering, Vol.33, No.5, pp. 299-308, 2018, DOI:10.32604/csse.2018.33.299

Abstract Many Domain-Specific Modelling Languages (DSML) can not formally define their semantics, which inevitably brings many problems, such as accurate description and automatic verification of model properties. In this paper, we propose a formal description method of the structural semantics of DSML for verifying consistency of models built based on DSML. Firstly, domain indicating structural semantics of DSML is formally defined based on algebra, and then, we briefly describe our framework for formalizing DSML and verifying consistency of DSML and its models and use a classic case to illustrate our approach; based on this, we construct an automatic translator for formalizing… More >

Peng Jiao^1,#, Ruiqi Ma^2,#, Zhuo Qi¹, Zhenzhong Jiang¹, Siyan Liu¹, Jing Qu³, Shuyan Guan^1,*, Yiyong Ma^3,*

Phyton-International Journal of Experimental Botany, Vol.89, No.1, pp. 121-130, 2020, DOI:10.32604/phyton.2020.07980

Abstract This research uses the immature embryos of inbred maize lines (GSH9901, Hi01, Hi02, and Chang 7-2) as receptor materials to establish the callus induction system. These inbred lines provide the receptor materials for the genetic regeneration of maize and the verification of the genetic functions of maize. The factor experiment and orthogonal experiments were used to investigate the impacts of different genotypes, immature embryo size, shield orientation, 2, 4-D concentration, proline concentration, and folic acid concentration on the induction rate of embryogenic callus tissue. A sensitivity experiment testing glyphosate (Bar) and an antibiotic (Cefotaxime sodium) were also conducted. The results… More >

Tingting Zhang^{1, 2, 3, *}, Yushi Lan², Minggang Yu¹, Changyou Zheng¹, Kun Liu¹

CMC-Computers, Materials & Continua, Vol.62, No.2, pp. 893-904, 2020, DOI:10.32604/cmc.2020.06216

Abstract Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model. This paper presents a new approach of choreography model verification based on Description Logic. A meta model of service choreography is built to provide a conceptual framework to capture the formal syntax and semantics of service choreography. Based on the framework, a set of rules and constraints are defined in Description Logic for choreography model verification. To automate model verification, the UML-based service choreography model will be transformed, by the given algorithms, into the… More >

C. Colombo¹, E.G. Marchesin¹, L. Vergani^1,2, E. Boccafogli³, G. Verni³

Structural Durability & Health Monitoring, Vol.8, No.4, pp. 307-328, 2012, DOI:10.32604/sdhm.2012.008.307

Abstract In this study an experimental device for testing the structural integrity of lower limb (transtibial and transfemoral) prostheses is proposed and studied, in accordance with the ISO 10328 Standard. Aim of the development of this device is to mechanically test these kinds of prostheses, for claiming the compliance with the standard. In the first part of the paper, experimental setup of the laboratory is described for the different kinds of prescribed tests. In the second part, the test case of a transtibial prosthesis for children is proposed. After verifying the compliance with the standard of the studied prosthesis, values recorded… More >