950 search results - page 48 / 190 » Tool Support for Model Checking of Web Application Designs |
TOOLS
2000
IEEE
14 years 3 days ago
2000
IEEE
With this contribution we present a design and development method for distributed applications, which are running on top of advanced object middleware platforms. We introduce the ...
ICPADS
2006
IEEE
14 years 1 months ago
2006
IEEE
Using simulations of a complex system such as a Web Application Server provides us with a tool that allows the running of tests without using the resources needed in a real system...
IEEESCC
2005
IEEE
14 years 1 months ago
2005
IEEE
The web service is a main working pattern and a significant application model for next generation Internet application. The service-oriented architecture is a very promising archi...
JISBD
2001
13 years 9 months ago
2001
Existing tools intended to build and deploy engaging complex Web sites (including functionality) have shown to be inadequate to face the software production process in an unified a...
ICDCS
2010
IEEE
13 years 11 months ago
2010
IEEE
Web applications are no longer simple hyperlinked documents. They have progressively evolved to become highly complex—web pages combine content from several sources (with varyin...