loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fifth International Conference on Computer and Information Technology (CIT'05)
Specification and Verification of Position Based Routing for Mobile Ad Hoc System
Shanghai, China
September 21-September 23
ISBN: 0-7695-2432-X
ASCII Text
x 
 
Jinkui Xie, Linpeng Huang, "Specification and Verification of Position Based Routing for Mobile Ad Hoc System," Computer and Information Technology, International Conference on, pp. 406-409, Fifth International Conference on Computer and Information Technology (CIT'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/CIT.2005.173,
author = {Jinkui Xie and Linpeng Huang},
title = {Specification and Verification of Position Based Routing for Mobile Ad Hoc System},
journal ={Computer and Information Technology, International Conference on},
volume = {0},
year = {2005},
isbn = {0-7695-2432-X},
pages = {406-409},
doi = {http://doi.ieeecomputersociety.org/10.1109/CIT.2005.173},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer and Information Technology, International Conference on
TI - Specification and Verification of Position Based Routing for Mobile Ad Hoc System
SN - 0-7695-2432-X
SP406
EP409
A1 - Jinkui Xie,
A1 - Linpeng Huang,
PY - 2005
KW - null
VL - 0
JA - Computer and Information Technology, International Conference on
ER -
 
Jinkui Xie, Shanghai Jiao Tong University
Linpeng Huang, Shanghai Jiao Tong University

This paper focus on the decidability of the position based routing in mobile ad hoc system. Based on the Abstract State Machines theory, we provide a formal model ASM PBRAgent for mobile ad hoc system, on which the position based routing runs as a query. In the result, it is shown that the problem of position based routing is PSPACE-complete when the arity of each node?s outgoing edges has a fixed upper bound, and the Yao-graph topology is an instance; on the other hand, the problem is EXPSPACE-complete if there is no fixed upper bound on the arity.

Citation:
Jinkui Xie, Linpeng Huang, "Specification and Verification of Position Based Routing for Mobile Ad Hoc System," cit, pp.406-409, Fifth International Conference on Computer and Information Technology (CIT'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.