2000 search results - page 251 / 400 » Program Transformation and Proof Transformation |
125
click to vote
IH
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a new dynamic technique for embedding robust software watermarks into a software program using thread contention. We show the technique to be resilient to many semanti...
103
Voted
INFOVIS
2003
IEEE
15 years 9 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...
136
click to vote
EUROPAR
2001
Springer
15 years 8 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...
138
Voted
ICCS
2001
Springer
15 years 8 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...
112
click to vote
SP
1999
IEEE
15 years 8 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...