You are here: TUCS > PUBLICATIONS > Publication Search > Location-Awareness with Action...
Location-Awareness with Action Systems
Luigia Petre, Kaisa Sere, Marina Waldén, Location-Awareness with Action Systems. In: Paulo Alencar, Donald Cowan (Eds.), Handbook of Research on Mobile Software Engineering - Design, Implementation, and Emergent Applications, 1, 463–483, IGI Global, 2012.
Abstract:
The location of various network resources is of outmost interest when trying to model and analyze various computing and communicating contemporary platforms. Formal methods - fault avoiding techniques for constructing robust software and systems - are instrumental in providing precise modeling formats and various analysis and development tools. In this chapter, the authors present their approach to embedding location information into action systems, a formal method dedicated to distributed systems that are not aware of their physical location.
BibTeX entry:
@INBOOK{cPeSeWa12a,
title = {Location-Awareness with Action Systems},
booktitle = {Handbook of Research on Mobile Software Engineering - Design, Implementation, and Emergent Applications},
author = {Petre, Luigia and Sere, Kaisa and Waldén, Marina},
volume = {1},
editor = {Alencar, Paulo and Cowan, Donald},
publisher = {IGI Global},
pages = {463–483},
year = {2012},
keywords = {location-awareness, location-transparent, action systems, mobile resources},
}
Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)