Sciweavers

7274 search results - page 3 / 1455
» Abstractions for network update
Sort
View
APNOMS
2006
Springer
13 years 9 months ago
Improved Handoff Performance Based on Pre-binding Update in HMIPv6
Abstract. In this paper, an efficient neighbor AR (Access Router) discovery scheme and handoff procedure using neighbor information are proposed. It allows each AR and Mobility Anc...
Jongpil Jeong, Min Young Chung, Hyunseung Choo
AP2PC
2005
Springer
13 years 11 months ago
Highly Available DHTs: Keeping Data Consistency After Updates
Abstract. The research in the paper is motivated by building a decentralized/P2P XML storage on top of a DHT (Distributed Hash Table). The storage must provide high data availabili...
Predrag Knezevic, Andreas Wombacher, Thomas Risse
JCST
2010
155views more  JCST 2010»
13 years 17 days ago
Efficient Location Updates for Continuous Queries over Moving Objects
Abstract The significant overhead related to frequent location updates from moving objects often results in poor performance. As most of the location updates do not affect the quer...
Yu-Ling Hsueh, Roger Zimmermann, Wei-Shinn Ku
FMCO
2008
Springer
120views Formal Methods» more  FMCO 2008»
13 years 7 months ago
Abstract Interpretation of Symbolic Execution with Explicit State Updates
Richard Bubel, Reiner Hähnle, Benjamin Wei&sz...
FUIN
2006
80views more  FUIN 2006»
13 years 5 months ago
Update and Abstraction in Model Checking of Knowledge and Branching Time
Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M...