loading...
Formalizing Mobility in Dynamic Location-Aware Sensor Networks
Nara, Japan May 10-May 12
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MDM.2006.917th International Conference on Mobil ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Michael Worboys, Matt Duckham, "Formalizing Mobility in Dynamic Location-Aware Sensor Networks," Mobile Data Management, IEEE International Conference on, pp. 157, 7th International Conference on Mobile Data Management (MDM'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/MDM.2006.91,
author = {Michael Worboys and Matt Duckham},
title = {Formalizing Mobility in Dynamic Location-Aware Sensor Networks},
journal ={Mobile Data Management, IEEE International Conference on},
volume = {0},
year = {2006},
issn = {1551-6245},
pages = {157},
doi = {http://doi.ieeecomputersociety.org/10.1109/MDM.2006.91},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Mobile Data Management, IEEE International Conference on
TI - Formalizing Mobility in Dynamic Location-Aware Sensor Networks
SN - 1551-6245
SP
EP
A1 - Michael Worboys,
A1 - Matt Duckham,
PY - 2006
KW - null
VL - 0
JA - Mobile Data Management, IEEE International Conference on
ER -
 
Michael Worboys, University of Maine, USA
Matt Duckham, University of Melbourne, Australia
This short paper presents early work on the development of a formal model of mobility and process in locationaware sensor networks. The formalism is based on Milner?s ? process calculus, which allows the modeling of mobile processes. The formal development is going hand-in-hand with development of a "process-relational" database system, with application to sensor networks. We argue that such a formal model of process complements research on movement simulation.
Citation:
Michael Worboys, Matt Duckham, "Formalizing Mobility in Dynamic Location-Aware Sensor Networks," mdm, pp.157, 7th International Conference on Mobile Data Management (MDM'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.