423 search results - page 45 / 85 » Service Specification and Matchmaking Using Description Logi... |
JLP
2000
13 years 7 months ago
2000
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
TSE
1998
13 years 7 months ago
1998
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
ICWS
2004
IEEE
13 years 9 months ago
2004
IEEE
As the set of available Web Services expands, it becomes increasingly important to have automated tools to help identify services that match a requester's requirements. Findi...
SEMWEB
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment. We are developing thes...
IJSWIS
2008
13 years 7 months ago
2008
The requirement for ubiquitous service access in wireless environments presents a great challenge in light of well known problems like high error rate and frequent disconnections....