Sciweavers

3458 search results - page 7 / 692
» Abstracting Control
Sort
View
SP
2006
IEEE
129views Security Privacy» more  SP 2006»
15 years 3 months ago
Practical Inference Control for Data Cubes (Extended Abstract)
Yingjiu Li, Haibing Lu, Robert H. Deng
SEFM
2005
IEEE
15 years 3 months ago
Control Code Obfuscation by Abstract Interpretation
Mila Dalla Preda, Roberto Giacobazzi
61
Voted
ICRA
2003
IEEE
125views Robotics» more  ICRA 2003»
15 years 2 months ago
Abstraction and control for groups of fully-actuated planar robots
Calin Belta, Vijay Kumar
ASIAN
2003
Springer
121views Algorithms» more  ASIAN 2003»
15 years 2 months ago
Paradigm Regained: Abstraction Mechanisms for Access Control
Mark S. Miller, Jonathan S. Shapiro
CP
2003
Springer
15 years 2 months ago
Control Abstractions for Local Search
Pascal Van Hentenryck, Laurent Michel