Sciweavers

680 search results - page 86 / 136
» Web Services Composition Method Based on OWL
Sort
View
ISORC
2005
IEEE
15 years 7 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
ADBIS
2005
Springer
120views Database» more  ADBIS 2005»
15 years 7 months ago
Extensible Canonical Process Model Synthesis Applying Formal Interpretation
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
Leonid A. Kalinichenko, Sergey A. Stupnikov, Nikol...
PDPTA
2008
15 years 3 months ago
Utilizing RSS Feeds by Web Request and Web Service Models in the .NET Compact Framework
- The rising popularity of Mobile Computing creates new methods for accessing Web content. At the same time Really Simple Syndication (RSS) feed is another new trend of constantly ...
Andrew Dutt, Sarah White, Zornitza Genova Prodanof...
IICAI
2007
15 years 3 months ago
Hierarchical Course Knowledge Representation using Ontologies
In this paper we present a method to represent knowledge associated with a course. Course knowledge can be represented in the form of hierarchical prerequisite relation based weigh...
Javed I. Khan, Manas Hardas
ICWE
2010
Springer
15 years 6 months ago
Combining Schema and Level-Based Matching for Web Service Discovery
Due to the availability of huge number of Web services (WSs), finding an appropriate WS according to the requirement of a service consumer is still a challenge. In this paper, we ...
Alsayed Algergawy, Richi Nayak, Norbert Siegmund, ...