1940 search results - page 51 / 388 » The Dynamic Logic of Permission |
FASE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
KR
1994
Springer
15 years 3 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...
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...
133
click to vote
EMSOFT
2008
Springer
15 years 27 days ago
2008
Springer
Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two popular techniques commonly employed to save energy in real-time embedded systems. DVS policies aim at red...