609 search results - page 27 / 122 » A Refined Goal Model for Semantic Web Services |
ICWS
2008
IEEE
13 years 10 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
ICDS
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper presents the general design of an architecture, based on software agents and oriented to the semantic Web, for the development and deployment of urban, ubiquitous servi...
REST
2010
ACM
13 years 10 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
IESA
2007
13 years 10 months ago
2007
