In UML, the operator neg is used to specify negative, or unwanted, system behaviour. We agree that being able to specify negative behaviour is important. However, the UML neg is currently not wellsuited for this purpose, ...

Mobile ad-hoc networks (MANETs) provide the technical platform for efficient information sharing in emergency and rescue operations. Some the data present on the scene is highly confidential and requires protection. However, ...

Development of applications and protocols for wireless ad-hoc networks has always been a challenge. Spe-cific characteristics such as frequent topology changes due to nodes moving around, popping up or being turned off, ...