5252 search results - page 20 / 1051 » Logic in Access Control |
STORAGESS
2005
ACM
14 years 4 months ago
2005
ACM
Database outsourcing is becoming increasingly popular introducing a new paradigm, called database-as-a-service (DAS), where an organization’s database is stored at an external s...
ASSETS
2008
ACM
14 years 12 days ago
2008
ACM
Educational games are a beneficial activity motivating a large number of students in our society. Unfortunately, disabled people have reduced opportunities when using a computer g...
ICCS
2009
Springer
14 years 5 months ago
2009
Springer
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...
CONCUR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
EUROMICRO
1998
IEEE
14 years 2 months ago
1998
IEEE
Several studies have demonstrated that out-of-order execution processors may not be the most adequate organization for wide issue processors due to the increasing penalties that w...