76 search results - page 15 / 16 » Agent-Oriented Formal Specification of Web Services |
WWW
2006
ACM
14 years 6 months ago
2006
ACM
Currently, there is an increasing effort to provide various personalized services on museum web sites. This paper presents an approach for determining user interests in a museum c...
WOSP
2004
ACM
13 years 11 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...
IPPS
2000
IEEE
13 years 10 months ago
2000
IEEE
Dynamic replication algorithms aim at allocating, migrating and deleting copies of an object over various Internet hosts, according to the access patterns exhibited online, so as ...
GEOINFO
2004
13 years 7 months ago
2004
: The purpose of the WFS specification, proposed by the the OpenGIS Consortium (OGC), is to describe the manipulation operations over geospatial data using GML. Web servers providi...
ECOWS
2008
Springer
13 years 8 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...