5252 search results - page 279 / 1051 » Logic in Access Control |
183
click to vote
TELSYS
2002
15 years 7 months ago
2002
Abstract. In this article, the performance and capacity gain achievable with quality of service (QoS) management in packet switched radio networks based on the General Packet Radio...
187
click to vote
WCFLP
2005
ACM
16 years 1 months ago
2005
ACM
Programmers need mechanisms to store application specific data that persists multiple program runs. To accomplish this task, they usually have to deal with storage specific code...
201
click to vote
CSFW
2003
IEEE
16 years 22 days ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
195
click to vote
MEMOCODE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
210
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...