3792 search results - page 677 / 759 » Techniques for Trusted Software Engineering |
CGO
2010
IEEE
15 years 4 months ago
2010
IEEE
Shadow value tools use metadata to track properties of application data at the granularity of individual machine instructions. These tools provide effective means of monitoring an...
122
Voted
PASTE
1999
ACM
15 years 4 months ago
1999
ACM
The principal control-flow abstraction mechanism in the Cobol language is the PERFORM statement. Normally, PERFORM statements are used in a straightforward manner to define para...
ESEC
1999
Springer
15 years 4 months ago
1999
Springer
Imagine some program and a number of changes. If none of these changes is applied (“yesterday”), the program works. If all changes are applied (“today”), the program does n...
97
Voted
EUROMICRO
1998
IEEE
15 years 4 months ago
1998
IEEE
Since multimedia data are characterized by continuity and massive volume, compression techniques such as MPEG are used for efficient transmission. However, a transmission error oc...
130
click to vote
AC
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. In 1982, Bennett and Brassard suggested a new way to provide privacy in long distance communications with security based on the correctness of the basic principles of qua...