3107 search results - page 369 / 622 » Error-Correcting Source Code |
122
Voted
CCS
2003
ACM
15 years 9 months ago
2003
ACM
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
114
click to vote
IEEEMSP
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— This paper discusses encryption operations that selectively encrypt content-carrying segments of multimedia data stream. We propose and analyze three techniques that wo...
119
click to vote
WCRE
2002
IEEE
15 years 8 months ago
2002
IEEE
Documentation generation is the process of creating the ocumentation at different levels of abstraction from the source code for a legacy system. The main goal is to help the stak...
120
click to vote
MSR
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we describe a case study at Philips Healthcare MRI focusing on evolutionary couplings, i.e., a technique to infer relationships among modules by analyzing their his...
121
click to vote
ECRTS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...