ICST
2008
IEEE
13 years 11 months ago
2008
IEEE
Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
Recently, a new web development technique for creating interactive web applications, dubbed AJAX, has emerged in response to the limited degree of interactivity in large-grain sta...
CAV
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. BeepBeep is a lightweight runtime monitor for Ajax web applications. Interface specifications are expressed internally in an extension of LTL with first-order quantificat...