5252 search results - page 306 / 1051 » Logic in Access Control |
222
click to vote
SERP
2010
15 years 5 months ago
2010
- In large enterprises subject to constant employee turnover and challenging security policies, the administration of Role-based Access Control (RBAC) is a daunting task that is of...
203
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
196
Voted
ENTCS
2006
15 years 7 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
166
Voted
ASSETS
2000
ACM
15 years 12 months ago
2000
ACM
Abstract—Head controls provide an alternative means of computer access. This study determined whether neck movement limitations are associated with reduced performance with such ...
229
click to vote
CDC
2009
IEEE
2009
IEEE
A switched system approach to scheduling of networked control systems with communication constraints
15 years 11 months ago
This paper presents a scheduling strategy for a collection of discrete-time networked control systems (NCSs) subjected to communication constraints. Communication constraints under...