1050 search results - page 116 / 210 » The problem with rights expression languages |
LPNMR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...
69
Voted
CORR
2000
Springer
14 years 9 months ago
2000
Springer
With the advent of wide security platforms able to express simultaneously all the policies comprising an organization's global security policy, the problem of inconsistencies...
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that rela...
AIMSA
2008
Springer
15 years 4 months ago
2008
Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
KBSE
2006
IEEE
15 years 4 months ago
2006
IEEE
Maintenance is recognised as the most difficult and expansive activity of the software development process. Numerous techniques and processes have been proposed to ease the mainte...