329 search results - page 10 / 66 » Design for verification for asynchronously communicating Web... |
ICEIS
2003
IEEE
15 years 6 months ago
2003
IEEE
: In this paper we describe the design and implementation of a system called Web Interaction Display and Monitoring (WIDAM). We have developed a web based client-server application...
120
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
107
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
This paper reports a safe regression test selection (RTS) approach that is designed for verifying Web services in an end-to-end manner. The Safe RTS technique has been integrated ...
107
click to vote
TELSYS
2002
15 years 1 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
TOOLS
2000
IEEE
15 years 5 months ago
2000
IEEE
The standard CORBA operation invocation model supports synchronous, one-way, and deferred synchronous interactions between clients and servers. However, this model is too restrict...