The deployment of mobile ad hoc networks is difficult in a research environment and therefore the performance of protocols for these networks has been mostly evaluated on simulators. A simulator must replicate realistic conditions and one of the most difficult aspects is the radio signal propagation model. The literature shows that many performance evaluations were conducted using propagation m...

Uncertainty is ubiquitous in software engineering; however, it has been typically handled in adhoc and informal ways within software models. Automated change propagation is recognized as a key tool for managing the accidental complexity that comes with multiple interrelated models. In this paper, we address change propagation in the context of model uncertainty and consider the case where chang...