Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
The emergence of the Web has made more and more news items available, however only a small subset of these news items are relevant in a decision making process. Therefore decision...
Jethro Borsje, Leonard Levering, Flavius Frasincar
Social networking services are presented as enablers in health and health care. This paper presents the idea of building Social Network system for educating Breast Cancer Patients...
Alaa M. Al-Abad, Basma A. Al-Sahail, Batool A. Al-...
The Open Government Directive is making US government data available via websites such as Data.gov for public access. In this paper, we present a Semantic Web based approach that ...
Li Ding, Dominic DiFranzo, Alvaro Graves, James Mi...