861 search results - page 144 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
116
click to vote
OOPSLA
2005
Springer
15 years 8 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...
241
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...
172
Voted
VEE
2012
ACM
13 years 10 months ago
2012
ACM
Process-level virtualization is increasingly being used to enhance the security of software applications from reverse engineering and unauthorized modification (called software p...
139
Voted
DOCENG
2006
ACM
15 years 8 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
125
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...