04.12.2012
Professor Mueller will talk about smart apps that allow users, with the help of sensors and networks, to do a great variety of things, from tracking their friends to controlling remote devices. At the core of such smart systems are self-adaptive systems. Self-adaptive systems are implemented using four key technologies: runtime models, context management, feedback control theory, and run-time verification and validation.