Sensor networks are unattended deeply distributed systems whose schema can be conceptualized using the relational model. Aggregation queries on the data sampled at each ode are th...
Abstract: The SAPHIRE project aims to develop an intelligent healthcare monitoring and decision support system on a platform integrating the wireless medical sensor data with hospi...
Andreas Hein, Oliver Nee, Detlev Willemsen, Thomas...
In this paper we discuss and demonstrate how traditional literature reviews may be enriched by computer-assisted research profiling. Research profiling makes use of sophisticated ...
Johanna Bragge, Sami Relander, Anne Sunikka, Petri...
The value for decision making of high-quality postsolution analysis of decision-supporting models can hardly be overestimated. Candle-lighting analysis (CLA) takes this notion ver...
Major Bill Branley, Russell Fradin, Steven O. Kimb...
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...