Determining the Scope of Alorithms


Algorithms that are known to work well in practice are often applied to problems besides the one that they were originally designed to solve. This is accomplished by transforming the input and output into the appropriate format. Applying an algorithm to other problems is only useful when these transformations are efficient, hence there are limits on the scope of an algorithm. 

Leverage Commonality at Model Level: Model Checking Smart Home Applications


Our group is building Smart Home applications for the Cognitively Impaired population. We have chosen to work with an existing framework, OSGi, which allows us to develop specific applications more quickly. We use a combination of traditional testing and formal verification to insure these applications will cause no harm to the cognitively impaired users of our systems.


Subscribe to RSS - Colloquium