2024 search results - page 238 / 405 » A Logic Based Approach for Dynamic Access Control |
144
Voted
ISCA
2002
IEEE
15 years 3 months ago
2002
IEEE
Traditional vector architectures have shown to be very effective for regular codes where the compiler can detect data-level parallelism. However, this SIMD parallelism is also pre...
144
Voted
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
141
Voted
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
This article presents a new approach to movement planning, on-line trajectory modification, and imitation learning by representing movement plans based on a set of nonlinear di...
122
Voted
FCT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
146
Voted
WICON
2008
15 years 5 months ago
2008
Cognitive radio networks that allow dynamic spectrum access are considered spectrally more efficient than networks using fixed spectral allocation. These networks are characterize...