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.
Multiple SDN applications can make several harmful interferences unintentionally, although each individual application may be properly developed. This paper proposes a Multiple SDN Applications Interference Detector (MSAID). To bridge the gap between the source code of applications and the actual interferences, we leverage symbolic execution and constraint solving to obtain how the event handler handles...
Nowadays, due to the rapid growing popularity of Internet, the global routing system suffers from great scalability problem. Many solutions are proposed to solve the problem, including FIB aggregation, core/edge separation solutions, et al. The limitation of these existing solutions is that they all make the assumption that all addresses in the Internet must be globally visible and these routing information...
Nowadays, the global routing system suffers from great scalability problem. Core/edge separation solutions are proposed to solve the problem. However, they bring a global mapping system which might also suffer from scalability problem. We come up with an idea to reduce the necessary routing or mapping information, which is to separate content provider networks (containing content providers) from content...
A CAD/CAE integrated method of customization product is proposed under mass customization environment. To improve product family design methods for mass customization, scale-based modular method is put forward. It includes two processes of product family modeling and customization product design. First of all, customization product can be achieved by changing the values of scale factors and replacement,...
The separation between edge and core addresses has been proposed to address the scalability problem of the Internet routing system. One main challenge is to design an efficient mapping mechanism for the two address spaces. The layer structure is attractive because of its scalability and simple index mechanism, while existing layered mapping system lacks a clear structure study and faces serious deployment...
Geographic-based addressing and routing has been discussed for more than twenty years. In this paper, we clarify the purpose of fitting geographic information into addressing and routing, and further propose a new geographic-based addressing and routing scheme. Our contribution lies in three aspects. First, we classify previous geographic-based addressing and routing proposals into three categories...
This paper adopts XML technology to establish standard development of electronic tender, which format is not unified in traditional construction project Internet-assisted bidding system. In view the lack of scientific evaluation of the decision-making model, the two-level system of fuzzy evaluation model based on single-weight system evaluation model is put forward for both experts and bidders so...
Providing flexibility and extensibility, SIP has recently gained significant attention in many areas. Critical requirements on reliability, fault tolerance and security highlight the necessity of SIP robustness testing. There are only a few researches on SIP robustness testing. The biggest challenge is the anomalous message generation. This paper proposes a method and architecture for SIP robustness...
The emergence of the concept "Affective Computing" makes the computer's intelligence no longer be a pure cognitive one. Current e-learning systems cannot instruct students effectively since they do not consider the emotional state in the context of instruction. In this paper, we construct an emotional intelligent e-learning system based on mobile agent technology. A dimensional model is...
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.