212 search results - page 37 / 43 » Agent-Oriented Modelling and Specification of Web Services |
BMCBI
2011
13 years 4 months ago
2011
Background: The analysis of protein structures provides fundamental insight into most biochemical functions and consequently into the cause and possible treatment of diseases. As ...
CIDR
2009
13 years 10 months ago
2009
Recent research in domain-independent information extraction holds the promise of an automatically-constructed structured database derived from the Web. A query system based on th...
EON
2008
13 years 10 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
WOSP
2004
ACM
14 years 2 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
CONCURRENCY
2008
13 years 9 months ago
2008
In this paper, we present a Grid computing platform that provides experimental scientists and analysts with access to computational simulations and knowledge databases hosted in s...