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.
Mobile Ad hoc Networks (MANETs) are networks dynamically formed by mobile nodes without the support of prior stationary infrastructures. The essential features of such a network are local broadcast, mobility and probability. In our earlier work, we proposed the pw-calculus to formally model and reason about MANTEs from a group probabilistic perspective, in which a MANET node can locally broadcast...
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 fixed and mobile area. The formal model for SMS service...
In this paper, a new outer loop power control algorithm based on continuous fuzzy control is proposed. The output value, controlled by the fuzzy rules and the two input values which are processed with fuzzy method, is adopted as the adjustment step-size of SIRtar in the inner loop power control. The algorithm can calculate the best adjustment step-size to overcome the robust phenomenon of traditional...
Live migration provides transparent load-balancing and fault-tolerant mechanism for applications. When a Virtual Machine migrates among hosts residing in two networks, the network attachment point of the Virtual Machine is also changed, thus the Virtual Machine will suffer from IP mobility problem after migration. This paper proposes an approach called Hypervisor controlled Mobile IP to support live...
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.