Sciweavers

362 search results - page 40 / 73
» Semantic matchmaking of web services using model checking
Sort
View
JSW
2008
203views more  JSW 2008»
13 years 8 months ago
Automatic Discovery of Semantic Relations Based on Association Rule
Automatic discovery of semantic relations between resources is a key issue in Web-based intelligent applications such as document understanding and Web services. This paper explore...
Xiangfeng Luo, Kai Yan, Xue Chen
OTM
2004
Springer
14 years 2 months ago
Transforming UMM Business Collaboration Models to BPEL
UN/CEFACT’s Modeling Methodology (UMM) has been developed to analyze and design B2B business processes independent of the underlying exchange technology. It became the methodolog...
Birgit Hofreiter, Christian Huemer
FASE
2005
Springer
14 years 2 months ago
Analyzing Web Service Based Business Processes
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
Axel Martens
RTS
2006
176views more  RTS 2006»
13 years 8 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
WWW
2007
ACM
14 years 9 months ago
Development of a semantic web based mobile local search system
This paper describes the development of a semantic web and ontology based local search system that can be used in wireless mobile communication services. Categories and Subject De...
Joo Seong Jeon, Gi Jeong Lee