LCPC
1999
Springer
13 years 8 months ago
1999
Springer
Wavefront computations, characterized by a data dependent flow of computation across a data space, are receiving increasing attention as an important class of parallel computation...
PET
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
ICFP
2005
ACM
14 years 4 months ago
2005
ACM
