373 search results - page 13 / 75 » Model Checking Techniques applied to the design of Web Servi... |
ICCD
2005
IEEE
15 years 3 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
One of the challenges in delivering e-government services is to design the Web sites to make it easier for citizens to find desired information. However, little work is found to e...
WWW
2003
ACM
15 years 10 months ago
2003
ACM
Web services allow authorized entities (including individuals, corporations, and automated agents) to employ software components created by other parties scattered across the glob...
IASTEDSEA
2004
14 years 11 months ago
2004
This paper proposes a service-oriented software reliability model that dynamically evaluates the reliability of Web services. There are two kinds of Web services: atomic services ...
EUROMICRO
2007
IEEE
14 years 11 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...