957 search results - page 171 / 192 » Modular Static Program Analysis |
JWSR
2007
14 years 9 months ago
2007
: Dynamic Web data sources – sometimes known collectively as the Deep Web – increase the utility of the Web by providing intuitive access to data repositories anywhere that Web...
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
POPL
2012
ACM
13 years 5 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...