496 search results - page 18 / 100 » Model Checking Expressive Web Service Descriptions |
EWSA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
ECOWS
2006
Springer
13 years 9 months ago
2006
Springer
The automated composition of Web services is one of the most promising ideas and at the same time one of the most challenging research area for the taking off of serviceoriented a...
ECMDAFA
2005
Springer
14 years 1 months ago
2005
Springer
As the number of available Web services increases there is a growing demand to realize complex business processes by combining and reusing available Web services. The reuse and com...
KBS
2007
13 years 7 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...
AAAI
2008
13 years 10 months ago
2008
This work addresses the problem of efficiently learning action schemas using a bounded number of samples (interactions with the environment). We consider schemas in two languages-...