Algorithmic Foundations

  • Matt Duckham


This chapter presents a technique for designing decentralized spatial computing algorithms, based on the combination and extension of some conventional algorithm design tools. First, the chapter sets out a language for specifying decentralized spatial algorithms, based on the specification of local protocols for individual node behavior, rather than on global system behavior. Next, the approach defines a structured analysis technique for understanding and identifying any failures in the global system behavior that emerge from the local protocols. The technique is iterative, successively identifying and then correcting faults, refining the algorithm until it performs as expected.


Load Balance Communication Complexity Sequence Diagram State Diagram Cover Time 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Matt Duckham
    • 1
  1. 1.Department of Infrastructure EngineeringThe University of MelbourneMelbourneAustralia

Personalised recommendations