Sciweavers

2988 search results - page 199 / 598
» Interacting with Web Hierarchies
Sort
View
CHI
2000
ACM
15 years 11 months ago
Power browser: efficient Web browsing for PDAs
We have designed and implemented new Web browsing facilities to support effective navigation on Personal Digital Assistants (PDAs) with limited capabilities: low bandwidth, small ...
Orkut Buyukkokten, Hector Garcia-Molina, Andreas P...
UIST
1999
ACM
15 years 11 months ago
WEST: A Web Browser for Small Terminals
We describe WEST, a WEb browser for Small Terminals, that aims to solve some of the problems associated with accessing web pages on hand-held devices. Through a novel combination ...
Staffan Björk, Lars Erik Holmquist, Johan Red...
ENTCS
2008
83views more  ENTCS 2008»
15 years 6 months ago
Controlling Control Flow in Web Applications
Control flow is often key problem in current web applications. For example, using the back button gives a POSTDATA error, using multiple windows books the wrong hotel, and sending...
Robin Message, Alan Mycroft
JWSR
2006
168views more  JWSR 2006»
15 years 6 months ago
Facilitating the Specification of Semantic Web Services Using Model-Driven Development
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
Gerald C. Gannod, John T. E. Timm, Raynette J. Bro...
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 4 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