We describe work-in-progress toward a nonlinear image-based rigid body dynamic triangulator which we believe tracks a moving target from "essentially all" initial conditions (all initial conditions except a set of measure zero). The dynamic triangulator depends on the goal state only through its image plane position and velocity and requires a navigation function, imposed directly upon image fe...

A distributed programming system designed to support the construction and execution of a real-time distributed program is presented. The system is to facilitate the construction of a distributed program from sequential programs written in different programming languages and to simplify the loading and execution of the distributed program. The system is based on a distributed configuration langu...

Access control technology is critical to the safe and reliable operation of information systems. However, owing massive policy scale number access entities in open distributed systems, such as big data, Internet Things, cloud computing, existing permission decision methods suffer from a performance bottleneck. Consequently, large time overhead affects normal business services. To overcome above...

This paper presents a phase noise model for clock buffers. The model can be used to predict the phase noise introduced by clock buffers and to gain insight into phase noise transfer mechanisms in clock buffers. Based on the models, techniques for low phase noise clock buffer design are derived. The analytical results presented here have good agreement with simulation and measurement results. Co...

Detecting Android malware is imperative. Among various detection schemes, permission pair based ones are promising for practical detection. However, conventional schemes cannot simultaneously meet requirements use in terms of efficiency, intelligibility, and stability performance. Although the latest scheme relies on differences frequent pairs between benign apps malware, it stability. This bec...