660 search results - page 67 / 132 » Reasoning about Dynamic Policies |
196
click to vote
POPL
2005
ACM
16 years 5 days ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
178
click to vote
GIS
2007
ACM
16 years 28 days ago
2007
ACM
Route planners request user input about preferred route characteristics in order to provide the user with the optimal route. Although navigators have a general idea about what con...
CLIMA
2007
15 years 1 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
LOBJET
2008
14 years 11 months ago
2008
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Context scenarios are widely used for assessing the robustness of strategies and policies in both the private and the public sector. Royal Dutch Shell, for instance, has become re...