255 search results - page 26 / 51 » Checking Session-Oriented Interactions between Web Services |
DBPL
2003
Springer
14 years 4 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 ...
ISCC
2006
IEEE
14 years 5 months ago
2006
IEEE
Integration of the currently available computing systems and platforms is one of the most envisaged goals achieved by computer scientists, which starts to become a reality nowaday...
WWW
2008
ACM
14 years 11 months ago
2008
ACM
Web service may be unable to interact with each other because of incompatibilities between their interfaces. In this paper, we present an event driven approach which aims at adapt...
DSVIS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
SAINT
2007
IEEE
14 years 5 months ago
2007
IEEE
Today's wireless and mobile services are typically monolithic and often centralized in nature, which limits heterogeneous service access and shared service usage. New sources...