1227 search results - page 44 / 246 » Using Generation for Grammar Analysis and Error Detection |
MVA
2007
14 years 11 months ago
2007
This paper presents a new reliable detection of core and delta in fingerprints by candidate analysis. The line search based method, which is one of the reliable approaches to dete...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
There have been serious concerns recently about the security of microchips from hardware trojan horse insertion during manufacturing. This issue has been raised recently due to ou...
109
click to vote
ISSTA
2012
ACM
13 years 6 days ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
BIS
2008
14 years 11 months ago
2008
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
Attacks often exploit memory errors to gain control over the execution of vulnerable programs. These attacks remain a serious problem despite previous research on techniques to pr...