Sciweavers

3383 search results - page 437 / 677
» Dynamic Ontologies on the Web
Sort
View
114
Voted
FM
2009
Springer
154views Formal Methods» more  FM 2009»
14 years 10 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
PPOPP
2003
ACM
15 years 6 months ago
Hybrid dynamic data race detection
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...
Robert O'Callahan, Jong-Deok Choi
106
Voted
WECWIS
2002
IEEE
131views ECommerce» more  WECWIS 2002»
15 years 5 months ago
A Proxy-Based Approach for Dynamic Content Acceleration on the WWW
Various dynamic content caching approaches have been proposed to address the performance and scalability problems faced by many Web sites that utilize dynamic content generation a...
Anindya Datta, Kaushik Dutta, Helen M. Thomas, Deb...
MOBISYS
2006
ACM
16 years 9 days ago
Efficient and transparent dynamic content updates for mobile clients
We introduce a novel infrastructure supporting automatic updates for dynamic content browsing on resource constrained mobile devices. Currently, the client is forced to continuous...
Trevor Armstrong, Olivier Trescases, Cristiana Amz...
99
Voted
SOUPS
2005
ACM
15 years 6 months ago
The battle against phishing: Dynamic Security Skins
Phishing is a model problem for illustrating usability concerns of privacy and security because both system designers and attackers battle using user interfaces to guide (or misgu...
Rachna Dhamija, J. Doug Tygar