620 search results - page 91 / 124 » Abstract Analysis of Symbolic Executions |
127
click to vote
DMIN
2009
14 years 10 months ago
2009
While the emerging field of privacy preserving data mining (PPDM) will enable many new data mining applications, it suffers from several practical difficulties. PPDM algorithms are...
120
click to vote
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
111
click to vote
CSMR
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--Building comprehensive test suites for web applications poses new challenges in software testing. Coverage criteria used for traditional systems to assess the quality of ...
109
Voted
RAID
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
95
Voted
HYBRID
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...