Titlebook: Distributed Computing in Sensor Systems; 5th IEEE Internation Bhaskar Krishnamachari,Subhash Suri,Urbashi Mitra Conference proceedings 2009

SPASM

Finding Symbolic Bug Patterns in Sensor Networks,works. Often multiple seemingly different event patterns lead to the same type of failure manifestation. A hidden relationship exists, in those patterns, among event attributes that is somehow responsible for the failure. For example, in some system, a message might always get corrupted if the sende

inhibit

separate