Electronic contracts describe inter-organizational business processes in terms of supply and consumption of electronic services (commonly Web services). In a given contract domain,...
Marcelo Fantinato, Itana Maria de Souza Gimenes, M...
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
The paper describes ITW – a multi-platform and multilanguage architecture used to discover (multimedia) resources. The ITW system is based on Web services and software agents, e...
This paper describes a semantic approach for matching export schemas of geographical database Web services, based on the use of a small set of typical instances. The paper also con...
The top web search result is crucial for user satisfaction with the web search experience. We argue that the importance of the relevance at the top position necessitates special h...