Validation, Verification and Explanation in a Smarter World on April 09, 2015 adaptive systems research security software engineering ubiquitous computing +