Sciweavers

369 search results - page 10 / 74
» Considering Browser Interaction in Web Application Testing
Sort
View
FM
2009
Springer
154views Formal Methods» more  FM 2009»
14 years 7 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
ICWE
2007
Springer
15 years 3 months ago
Modeling Data-intensive Rich Internet Applications with Server Push Support
Abstract. Rich Internet applications (RIAs) enable novel usage scenarios by overcoming the traditional paradigms of Web interaction. Conventional Web applications can be seen as re...
Giovanni Toffetti Carughi
AINA
2007
IEEE
15 years 3 months ago
Building Web-Base SIP Analyzer with Ajax Approach
Web applications are generally less interactive than desktop applications. Due to the simple request-response model between web browsers and web servers, users usually experience ...
Quincy Wu, Yan-Hsiang Wang
APVIS
2001
14 years 11 months ago
Interactive Visualisation of Large Multivariate Datasets on the World-Wide Web
Information visualisation of large multivariate datasets presents certain unique challenges. Few tools currently exist to facilitate the interactive display of such information on...
Janet L. Wesson, P. R. Warren
MOBISYS
2008
ACM
15 years 9 months ago
Flashproxy: transparently enabling rich web content via remote execution
It is now common for Web sites to use active Web content, such as Flash, Silverlight, or Java applets, to support rich, interactive applications. For many mobile devices, however,...
Alexander Moshchuk, Steven D. Gribble, Henry M. Le...