362 search results - page 28 / 73 » Semantic matchmaking of web services using model checking |
ER
2005
Springer
14 years 2 months ago
2005
Springer
To achieve the dream of the semantic web, it must be possible for ordinary users to invoke services. Exactly how to turn this dream into reality is a challenging opportunity and a...
ESAW
2006
Springer
14 years 10 days ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
A central requirement for achieving the vision of run-time discovery and dynamic composition of services is the provision of appropriate descriptions of the operation of a service,...
KBS
2007
13 years 8 months ago
2007
Commitment management is a key issue in service-provisioning in the context of virtual organisations (VOs). A service-provider — which may be a single agent acting within an orga...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...