3 search results - page 1 / 1 » Verifying the Reliability of Web Services Interactions for t... |
JACIII
2008
13 years 5 months ago
2008
WWW
2005
ACM
14 years 6 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
EUROSYS
2009
ACM
14 years 2 months ago
2009
ACM
Some web sites provide interactive extensions using browser scripts, often without inspecting the scripts to verify that they are benign and bug-free. Others handle users’ conď¬...