Sciweavers

3458 search results - page 7 / 692
» Abstracting Control
Sort
View
SP
2006
IEEE
129views Security Privacy» more  SP 2006»
16 years 20 days ago
Practical Inference Control for Data Cubes (Extended Abstract)
Yingjiu Li, Haibing Lu, Robert H. Deng
133
Voted
SEFM
2005
IEEE
16 years 6 days ago
Control Code Obfuscation by Abstract Interpretation
Mila Dalla Preda, Roberto Giacobazzi
ASIAN
2003
Springer
121views Algorithms» more  ASIAN 2003»
15 years 12 months ago
Paradigm Regained: Abstraction Mechanisms for Access Control
Mark S. Miller, Jonathan S. Shapiro
CP
2003
Springer
15 years 12 months ago
Control Abstractions for Local Search
Pascal Van Hentenryck, Laurent Michel