102 search results - page 10 / 21 » A Behavioural Congruence for Web Services |
ESCIENCE
2007
IEEE
14 years 1 months ago
2007
IEEE
Service-Oriented Architectures provide integration of interoperability for independent and loosely coupled services. Web services and the associated new standards such as WSRF are...
AIIA
2003
Springer
13 years 12 months ago
2003
Springer
We describe the web usage mining activities of an on-going project, called ClickWorld3 , that aims at extracting models of the navigational behaviour of a web site users. The model...
DBPL
2003
Springer
13 years 12 months ago
2003
Springer
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example ...
JWE
2006
13 years 6 months ago
2006
Reactivity on the Web is an emerging issue. It is essential for upcoming Web systems such as online marketplaces, adaptive, Semantic Web systems as well as Web services and Grids....
ICSOC
2007
Springer
14 years 26 days ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...