5252 search results - page 231 / 1051 » Logic in Access Control |
208
click to vote
DEON
2010
Springer
15 years 8 months ago
2010
Springer
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...
170
click to vote
JSYML
2008
15 years 7 months ago
2008
We consider a modal language for affine planes, with two sorts of formulas (for points and lines) and three modal boxes. To evaluate formulas, we regard an affine plane as a Kripke...
236
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
148
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Consider a discrete-time networked control scheme, in which the controller has direct access to noisy measurements of the plant’s output, but the controller and the actuator ...
171
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, we consider a source rate control scheme for a finite buffer of size C in a medium access control layer of a wireless system over a Markovian channel. Our rate ...