Computational models, programming languages and algorithms for sensor networks: towards a paradigm shift in computer science

Physical devices are increasingly regulated by embedded computers rather than analog controllers. Embedded computers are essentially computational engines capable of sensing the environment, actuating physical devices, carrying out data analysis and planning actions. Embedded computers can thus enable machines to become intelligent and autonomous. The next technological revolution will follow from the ability of intelligent machines to network with other intelligent machines and with humans. As cyberspace permeates physical space, networks of autonomous machines will serve human needs proactively, not merely re-actively. The key technology which will facilitate the development of such systems is sensor networks, software agents, and adaptive middleware. The paper discusses the nature of algorithms required for sensor networks, a computational model and programming language for building and reasoning applications on such networks, and argues the utility of a programming model based on agents