—Dynamic reconfiguration – the ability to hot swap a component, or to introduce a new component into the system – is essential to supporting evolutionary change in long-live ...
The paper presents a persuasive web application that stimulates residential energy conservation. The users of the application received consumption feedback that is based on electr...
Tobias Graml, Claire-Michelle Loock, Michael Baeri...
—Spinal cord analysis is an important problem in the study of various neurological diseases. Current segmentation and analysis methods in clinical use are slow and laborintensive...
Chris McIntosh, Ghassan Hamarneh, Matthew Toom, Ro...
Recently, the Web has been rapidly "deepened" by many searchable databases online, where data are hidden behind query forms. For modelling and integrating Web databases,...
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...