Jiang Ningkang

East China Normal University | ECNU · Software Engineering Institute

This paper presents a sectional algorithm for indoor location using wireless sensor networks. This algorithm uses the motion regularity of target to compute the next motion area quickly and apply the pre-processed compressive sensing method to that area, which reduce the location problem to a sparse signal reconstruction problem. Then we carry out...

With the rapid development of the Internet of Things(IoT), the real-time monitoring data are increasing with different types and large amounts. Aiming at taking full advantages of the data, we designed and implemented an application middleware, which not only supports the three-layer architecture of IoT information system but also enables the flexi...

Nowadays, Pushdown System is widely used in program verification including malware detection. We model the software systems into pushdown systems and use model-checking to verify them. The reachability analysis is the base of model-checking problems. It is an iterative work on transitions and configuration rules. However, with the rise of the compl...

It is a challenge to recommend Web services under multiple contexts. To address this challenge, we propose a context-aware collaborative filtering (CaCF) approach for service recommendation. Three types of contextual information, i.e. time, location and interest of user, are considered. In this approach, users' interests are extracted from service...

The increasing interest in the Internet of Things (IoT) has brought lots of opportunities and challenges to researchers. Cyber-space and physical world are more and more amalgamated by smart devices with networking capability. Making appropriate adaptations to satisfy new processing requirements is necessary for the extensive service in such an env...

Universities are actively exploring and implementing the cooperation courses with enterprises. In software engineering, the key construction is to build a win-win course to meet the needs of student development and enterprise requirements. This paper introduces a co-teaching curriculum model aimed at narrowing the theory-practice gap. The course co...

This paper focuses on the development and deployment of the virtual education system SEI-VLab, which is based on the "Remote Lab" developed by Microsoft Corporation. In order to coordinate the need of the institute teaching, some improvements are added, such as user management, virtual machine management, laboratory manual management and so on. Thi...

Lack of sound knowledge architecture is the major obstacles in software testing education. A hierarchical body of knowledge of software testing is proposed in this paper in order to provide a foundation for systematic curriculum development. The topics and subtopics for each level are also provided.

With the rapid evolution of mobile communication technology, the Short Message Service (SMS) is the most important and essential operating business. The Pi calculus is a process algebra that describes the concurrent, dynamic and mobile systems. This paper depicts the behaviors of SMS service based on Pi calculus, including the formal description of...

Distributed computing splits a large-scale job into multiple tasks and deals with them on clusters. Cluster resource allocation is the key point to restrict the efficiency of distributed computing platform. Hadoop is the current most popular open-source distributed platform. However, the existing scheduling strategies in Hadoop are kind of simple...

In this paper the problems in the automation testing of GUI based Web applications are discussed. A new automation testing framework based on the concept of object feature set and dynamic searching policy is proposed. The design and implementation of it are both given. The framework working using result shows that it makes the testing more convenie...

Most of resource-constrained scheduling problems are dynamic, where we do not know all the time variables of tasks in advance. Recently, solving such dynamic problems is a hot topic of research in manufacturing systems. In this paper we analyze the constraints in the dynamic scheduling problems and we introduce the concept of monotonic about constr...

Bayesian networks have been used widely in modelling complex network systems. Probabilistic inferences are normal requirements in control and management of networks, particularly in modelling diagnosis systems for large and complex networks in probabilistic and dynamic environments. This paper provides a random simulation mechanism to construct the...

In real-life distributed systems, dynamic changes are unavoidable properties because of the degeneration or improvement in system performance. Hence to understand the dynamic changes and to "catch the trend" of the changes in distributed systems will be very important for distributed systems management. In order to model the dynamic changes in dist...