The China–Pakistan Economic Corridor is the pilot area of Belt and Road, where glaciers lakes are widely distributed. Recent years, global warming has accelerated expansion glacier lakes, which increased risk natural disasters such as lake outburst. It important to monitor in this region. In paper, we propose a method combining object-oriented image analysis with boundary recognition (OOBR) ext...

We formulate a new security property, called “Operation Execution Integrity” or OEI, tailored for embedded devices. Inspired by the operation-oriented design of embedded programs and considering the limited hardware capabilities of embedded devices, OEI attestation enables selective and practical verification of both control-flow integrity and critical-variable integrity for an operation being ...

The paper examines three selective schemes for the smoothed finite element method (SFEM) which was formulated by incorporating a cell-wise strain smoothing operation into the standard compatible finite element method (FEM). These selective SFEM schemes were formulated based on three selective integration FEM schemes with similar properties found between the number of smoothing cells in the SFEM...

The service-oriented paradigm plays an increasingly significant role in designing and governing IT architectures in organizations. The identification of services belongs to the most important parts of the service management lifecycle and is essential for the successful implementation of service-oriented architectures (SOA). However, existing methods for service identification mostly ignore situ...

Primary visual cortex contains at least two distinct populations of color-selective cells: neurons in one have circularly symmetric receptive fields and respond best to reddish and greenish light, while neurons in another have oriented receptive fields and a variety of color preferences. The relative prevalence and perceptual roles of the two kinds of neurons remain controversial, however. We u...

This paper presents a re ective approach to checkpointing concurrent object oriented programs. We describe a checkpointing and rollback library for multithreaded programs written in C++. We demonstrate some of the unique features o ered by this library, such as selective checkpointing and selective rollbacks of threads of a process that are achievable only through the use of re ection.