DocumentCode
1928517
Title
Formalizing Mobility in Dynamic Location-Aware Sensor Networks
Author
Worboys, Michael ; Duckham, Matt
Author_Institution
University of Maine, USA
fYear
2006
fDate
10-12 May 2006
Firstpage
157
Lastpage
157
Abstract
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.
Keywords
Calculus; Couplings; Database systems; Equations; Information analysis; Intelligent networks; Ontologies; Protocols; Sensor phenomena and characterization; Sensor systems and applications;
fLanguage
English
Publisher
ieee
Conference_Titel
Mobile Data Management, 2006. MDM 2006. 7th International Conference on
ISSN
1551-6245
Print_ISBN
0-7695-2526-1
Type
conf
DOI
10.1109/MDM.2006.91
Filename
1630693
Link To Document