148 search results - page 17 / 30 » Dynamic Characterization of Web Application Interfaces |
107
click to vote
SP
2009
IEEE
15 years 6 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
103
click to vote
WWW
2006
ACM
16 years 10 days ago
2006
ACM
During a lifecycle of a large-scale Web application, Web developers produce a wide variety of inter-related Web objects. Following good Web engineering practice, developers often ...
WWW
2004
ACM
16 years 10 days ago
2004
ACM
XML has become one of the core technologies for contemporary business applications, especially web-based applications. To facilitate processing of diverse XML data, we propose an ...
CHI
2008
ACM
16 years 2 days ago
2008
ACM
Web image search is difficult in part because a handful of keywords are generally insufficient for characterizing the visual properties of an image. Popular engines have begun to ...
105
click to vote
WWW
2011
ACM
14 years 6 months ago
2011
ACM
Many malicious activities on the Web today make use of compromised Web servers, because these servers often have high pageranks and provide free resources. Attackers are therefore...