Sciweavers

7149 search results - page 38 / 1430
» How dynamic is the Web
Sort
View
CCS
2011
ACM
12 years 8 months ago
Automated black-box detection of side-channel vulnerabilities in web applications
Web applications divide their state between the client and the server. The frequent and highly dynamic client-server communication that is characteristic of modern web application...
Peter Chapman, David Evans
ECIS
2001
13 years 9 months ago
How much should my software differ from yours
This paper analyzes an optimal differentiation between two competing application software products when one of the two is produced by a monopolist of a base software. The so calle...
Sang-Yong Tom Lee
VLDB
1999
ACM
147views Database» more  VLDB 1999»
14 years 22 days ago
Data-Driven, One-To-One Web Site Generation for Data-Intensive Applications
A data-driven approach can be fruitfully used in the speci cation and automatic generation of data-intensive Web applications, i.e., applications which make large amounts of data ...
Stefano Ceri, Piero Fraternali, Stefano Paraboschi
WWW
2007
ACM
14 years 9 months ago
Bringing Semantics to Web Services with OWL-S
Current industry standards for describing Web Services are focused on ensuring interoperability across diverse platforms, but do not provide a good foundation for automating the u...
David L. Martin, Mark H. Burstein, Drew V. McDermo...
FM
2009
Springer
154views Formal Methods» more  FM 2009»
13 years 6 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