362 search results - page 20 / 73 » Semantic matchmaking of web services using model checking |
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Semantic Web Fred, SWF for short, is a contextindependent, goal-driven system for automated execution of tasks that are delegated to electronic representatives along with dynamic ...
IS
2006
13 years 8 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
BMCBI
2008
13 years 8 months ago
2008
imately 20 million abstracts. Browsing such a huge repository to find relevant information as well as providing elearning service requires new generation of interfaces. Methods suc...
ICSEA
2009
IEEE
14 years 3 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
ENTCS
2006
13 years 8 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...