1821 search results - page 233 / 365 » Security-Aware Program Transformations |
INFOVIS
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper proposes a conceptual model called compound brushing for modeling the brushing techniques used in dynamic data visualization. In this approach brushing techniques are m...
EUROPAR
2001
Springer
14 years 2 months ago
2001
Springer
GRM was originally designed and implemented as part of the P-GRADE graphical parallel program development environment running on supercomputers and clusters. In the framework of th...
ICCS
2001
Springer
14 years 2 months ago
2001
Springer
GRM and PROVE were originally designed and implemented as part of the P-GRADE graphical parallel program development environment running on clusters. In the framework of the bigges...
SP
1999
IEEE
14 years 1 months ago
1999
IEEE
This work introduces a new approach to code safety. We present Naccio, a system architecture that allows a large class of safety policies to be expressed in a general and platform...
TLCA
1999
Springer
14 years 1 months ago
1999
Springer
AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, an...