Sciweavers

598 search results - page 32 / 120
» Independence Semantics for BKBs
Sort
View
FORTE
2009
14 years 9 months ago
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
Luciano Baresi, Domenico Bianculli, Sam Guinea, Pa...
WCRE
2006
IEEE
15 years 5 months ago
An Analysis of the Correctness and Completeness of Aspect Weaving
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
Günter Kniesel, Uwe Bardey
ASIAN
2005
Springer
178views Algorithms» more  ASIAN 2005»
15 years 5 months ago
An Approach for Service Discovery Based on Semantic Peer-to-Peer
The service discovery is a key step during Peer-to-Peer (P2P) converging with Web Service. In this paper, a semantic-P2P based approach is presented for web service discovery. To e...
Hao Wu, Hai Jin, Yunfa Li, Hanhan Chen
ANLP
1997
119views more  ANLP 1997»
15 years 1 months ago
Dutch Sublanguage Semantic Tagging combined with Mark-Up Technology
In this paper, we want to show how the morphological component of an existing NLP-system for Dutch (Dutch Medical Language Processor - DMLP) has been extended in order to produce ...
Peter Spyns, Ngo Thanh Nhan, Erik Baert, Naomi Sag...
ER
2006
Springer
170views Database» more  ER 2006»
15 years 3 months ago
A Semantic Transformation Approach for ISO 15926
Abstract. Traditional industries anticipate supporting cross-organizational cooperation as applied in the semantic Web and Web services environments. However, the international sta...
Sari Hakkarainen, Lillian Hella, Darijus Strasunsk...