Vassev, Emil; Hinchey, Mike; Nixon, Paddy
(Association for Computing Machinery, 2010)
We present a technological convergence approach to developing sensor networks capable of self-management. We use ASSL (Autonomic System Specification Language) to formally develop autonomous intelligent sensor nodes and ...