Sciweavers

4098 search results - page 405 / 820
» Sound mobility models
Sort
View
FM
2003
Springer
146views Formal Methods» more  FM 2003»
16 years 1 days ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
ACSC
2002
IEEE
15 years 11 months ago
Bandwidth Reservation Strategies for Mobility Support of Wireless Connections with QoS Guarantees
This paper examines QoS guarantees for bandwidth in mobile wireless networks, with a focus on reducing dropped connections on handoff. We can achieve this by reserving bandwidth f...
R. Hutchens, S. Singh
IPPS
2002
IEEE
15 years 11 months ago
A Framework for Network Management Using Mobile Agents
Conventional network management is based on SNMP and often run in a centralized manner. Although the centralized management approach gives network administrators a flexibility of ...
Manoj Kumar Kona, Cheng-Zhong Xu
ACSAC
2000
IEEE
15 years 11 months ago
A Flexible Access Control Service for Java Mobile Code
Mobile Code (MC) technologies provide appealing solutionsfor the development of Internet applications.For instance, Java technologyfacilitates dynamic loading of application code ...
Antonio Corradi, Rebecca Montanari, Cesare Stefane...
ADBIS
2000
Springer
131views Database» more  ADBIS 2000»
15 years 11 months ago
Mobile Transaction Management in Mobisnap
Abstract. In this paper we describe a transaction management system designed to face the inherent characteristics of mobile environments. Mobile clients cache subsets of the databa...
Nuno M. Preguiça, Carlos Baquero, Francisco...