2838 search results - page 171 / 568 » Verifying Controlled Components |
CMOT
2010
13 years 8 months ago
2010
Planning a path to a destination, given a number of options and obstacles, is a common task. We suggest a two-component cognitive model that combines retrieval of knowledge about t...
ICFP
2008
ACM
14 years 10 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
CONCURRENCY
2008
13 years 10 months ago
2008
Authorization infrastructures manage privileges and render access control decisions, allowing applications to adjust their behavior according to the privileges allocated to users....
SASO
2008
IEEE
14 years 5 months ago
2008
IEEE
Wireless sensor networks are designed for a very wide, yet specific, purpose. Their components have processing and power limitations. Due to these limitations, decisions by runni...
HYBRID
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...