This paper contains a set of personal views relating to NHS Connecting for Health’s National Programme for IT (NPfIT), and in particular its Care Records Service, written from t...
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
: We are approaching an era where research materials will be stored more and more as digital resources on the World Wide Web. This of course will enable easier access to online pub...
Muhammad Tanvir Afzal, Narayanan Kulathuramaiyer, ...
This article presents the CHIP demonstrator5 for providing personalized access to digital museum collections. It consists of three main components: Art Recommender, Tour Wizard, an...
Yiwen Wang, Natalia Stash, Lora Aroyo, Peter Gorge...
Background: Information obtained by DNA microarray technology gives a rough snapshot of the transcriptome state, i.e., the expression level of all the genes expressed in a cell po...