1627 search results - page 196 / 326 » On context in authorization policy |
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper addresses the challenges and benefits of undergraduate robotics education in technologically underserved communities. We present two robotics courses that the author...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
CDVE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Large-scale scientific investigation often includes collaborative data exploration among geographically distributed researchers. The tools used for this exploration typi...
CHES
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In the recent years, DPA attacks have been widely investigated. In particular, 2-nd order DPA have been improved and successfully applied to break many masked implementat...
SYNASC
2006
IEEE
14 years 4 months ago
2006
IEEE
The paper focuses on means of defining parameterized type categories and algorithms built on such types in Mathematica. Symbolic algorithms based on category theory have the advan...