6 search results - page 1 / 2 » MCWEB: A Model-Checking Tool for Web Site Debugging |
70
Voted
WWW
2001
ACM
16 years 1 months ago
2001
ACM
We show how model checking techniques can be applied to the analysis of connectivity and cost-of-traversal properties of Web sites.
108
click to vote
DEBU
2008
15 years 15 days ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
111
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
Web authoring environments enable end-users to create applications that integrate information from other web sources. Users can create web sites that include built-in components t...
104
Voted
EUROSYS
2007
ACM
15 years 4 months ago
2007
ACM
This paper is concerned with performance debugging of multitier applications, such as commonly found in servers and dynamic-content web sites. Existing tools and techniques for pr...
135
click to vote
DAIS
2006
15 years 1 months ago
2006
AJAX (Asynchronous JavaScript and XML) defines a new paradigm for writing highly interactive web applications. Prominent web sites such as Google Maps have made AJAX popular. Writi...