The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Software change histories are results of incremental updates made by developers. As a side-effect of the software development process, version history is a surprisingly useful source of information for understanding, maintaining and reusing software. However, traditional commit-based sequential organization of version histories lacks semantic structure and thus are insufficient for many development...
Over the last few years, researchers proposed several semantic history slicing approaches that identify the set of semantically-related commits implementing a particular software functionality. However, there is no comprehensive benchmark for evaluating these approaches, making it difficult to assess their capabilities. This paper presents a dataset of 81 semantic change data collected from 8 real-world...
Semantic history slicing solves the problem of extracting changes related to a particular high-level functionality from the software version histories. State-of-the-art techniques combine static program analysis and dynamic execution tracing to infer an over-approximated set of changes that can preserve the functional behaviors captured by a test suite. However, due to the conservative nature of such...
Many Internet of Things (IoT) technologies have been used in applications for money flow, logistics flow, people flow, interactive art design, and so on. To manage these increasing disparate devices and connectivity options, ETSI has specified end-to-end machine-to-machine (M2M) system architecture for IoT applications. Based on this architecture, we develop an IoT EasyConnect system to manage IoT...
Software developers often need to transfer func-tionality, e.g., a set of commits implementing a new feature or a bug fix, from one branch of a configuration management system to another. That can be a challenging task as the existing configuration management tools lack support for matching high-level semantic functionality with low-level version histories. The developer thus has to either manually...
In this paper, we tackle the failure detection problem in OpenFlow networks. We have examined several commercial OpenFlow switches and found that the long failure detection time makes an OpenFlow network unable to realize fast failure recovery. To resolve this problem, we propose a software based failure detection and fault location identification scheme. Our design can be applied to both in-band...
Recently, there is growing interest in directly digitizing the scintillation pulses in PET detectors. With digital pulse samples, in principle one can apply nontrivial signal analysis software algorithms to either yield better detection performance or more flexibility in detector design. Previously, we have proposed the MVT method for direct scintillation pulse sampling and developed several kinds...
Nowadays, the release of SoC products has come to a burst. Time-to-market of these products has been shortened to an extreme, nearly 8 to 12 months. To reduce production period, hardware architects generally combine well-tuned IP cores in their designs. To guarantee the process of SoC software development, which will finally decide the release time of products, a fast prototyping simulation platform...
In an OpenFlow network, the controller is responsible to control and manage the whole network. Although such central control paradigm is easier to achieve efficient network resources usage, the controller becomes the bottleneck when the network size is large. In this paper, we propose using pre-provisioned paths to mitigate the burden on a controller. The basic idea is to setup some background paths...
A universal platform for aerospace craft simulation was proposed in order to satisfy the various requirements in space tasks simulation. The platform is composed of a series of modular and standardized simulators, in which the kinematic, optic, radar or other characters of crafts can be simulated. The command & control functions and task programming processes can also be simulated in either...
Intrabody communication using the human body as the transmission channel enables low-power wireless communication within a body area network. Using intelligent nodes it is expected that condensed information packets are transmitted between nodes reducing the data rate to a few kbit/s. This paper investigates the practical low-frequency transmission quality using capacitive signal coupling via custom-made...
This paper introduced the process algebra based language and its model-checking tools for trusted software architectural modeling, which deals with incompatibility between two components due to a single interaction or the combination of several interactions and with the lack of interoperability among a set of components through architectural compatibility check and interoperability check relying on...
Modern network computing is in the process of changing from manual management to autonomic computing. As the core of network computing, database management system with autonomic computing must be able to participate in the process to meet the performance requirements of the network applications. This paper studies on workload adaptation technology. In the workload adaptation framework, the performance...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.