1448 search results - page 38 / 290 » From Requirements to Code Revisited |
SCAM
2008
IEEE
14 years 2 months ago
2008
IEEE
Parfait is a bug checker of C code that has been designed to address developers’ requirements of scalability (support millions of lines of code in a reasonable amount of time), ...
ISESE
2005
IEEE
14 years 1 months ago
2005
IEEE
During software evolution, programmers spend a lot of time and effort in the comprehension of the internal code structure. Such an activity is often required because the available...
PLDI
2000
ACM
14 years 1 days ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
FC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Private keyword search is a technique that allows for searching and retrieving documents matching certain keywords without revealing the search criteria. We improve the s...
DSN
2000
IEEE
14 years 3 days ago
2000
IEEE
This paper tests the hypothesis that generic recovery techniques, such as process pairs, can survive most application faults without using application-specific information. We ex...