Clinical databases store large amounts of information about patients and their medical conditions. Data mining techniques can extract relationships and patterns holding in this we...
Michele Berlingerio, Francesco Bonchi, Fosca Giann...
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki...
: The Internet of Services promotes distributable, composable and tradeable services as first-class entities. Such services are assumed to encompass the full range from electronic...
Some students cheat by buying solutions to assignments and paying other people to sit their exams. We investigated such a case in 2001, in which around thirty students appear to h...