2 research outputs found
Positioning and Scheduling of Wireless Sensor Networks - Models, Complexity, and Scalable Algorithms
Applied Formal Methods in Wireless Sensor Networks
This work covers the application of formal methods to the world of wireless sensor networks. Mainly two different perspectives are analyzed through mathematical models which can be distinct for example into qualitative statements like "Is the system error free?" From the perspective of quantitative propositions we investigate protocol optimal parameter settings for an energy efficient operation