496 search results - page 37 / 100 » Model Checking Expressive Web Service Descriptions |
123
click to vote
JAPLL
2010
15 years 25 days ago
2010
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
143
click to vote
REST
2010
ACM
15 years 4 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...
133
click to vote
ICWS
2008
IEEE
15 years 3 months ago
2008
IEEE
Web services composition has been gaining interest over the last years as it leverages the capabilities to offer complex operations resulting from the aggregation of Web services ...
115
Voted
WISE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
104
click to vote
DLOG
1996
15 years 3 months ago
1996
Using quantitative models of simple mechanisms as an example domain, we show how the basic principles of consistency-based diagnosis can be implemented using description logics wi...