Sciweavers

2462 search results - page 221 / 493
» WEESA: Web engineering for semantic Web applications
Sort
View
ISORC
2005
IEEE
14 years 1 months ago
Proof Slicing with Application to Model Checking Web Services
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...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
CASCON
2006
107views Education» more  CASCON 2006»
13 years 9 months ago
Tailoring UML activities to use case modeling for web application development
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...
Alexander Lorenz, Hans-Werner Six
SAC
2008
ACM
13 years 7 months ago
Hermes: a semantic web-based news decision support system
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
ICALT
2009
IEEE
13 years 6 months ago
A Semantic Social Network Service for Educating Saudi Breast Cancer Patients
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-...
WWW
2010
ACM
14 years 3 months ago
TWC data-gov corpus: incrementally generating linked government data from data.gov
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...