1171 search results - page 178 / 235 » A Logical Language for Expressing Authorizations |
103
click to vote
FLAIRS
2007
15 years 2 months ago
2007
Reasoning about preferences is a major issue in many decision making problems. Recently, a new logic for handling preferences, called Qualitative Choice Logic (QCL), was presented...
STOC
2001
ACM
16 years 4 days ago
2001
ACM
Optimal program slicing determines for a statement S in a program whether or not S affects a specified set of statements, given that all conditionals in are interpreted as non-d...
110
click to vote
AIIDE
2009
15 years 29 days ago
2009
A drama manager (DM) monitors an interactive experience, such as a computer game, and intervenes to shape the global experience so that it satisfies the author's expressive g...
CSFW
2006
IEEE
15 years 5 months ago
2006
IEEE
A coalition provides a virtual space across a network that allows its members to interact in a transparent manner. Coalitions may be formed for a variety of purposes. These range ...
112
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Traits are basically mixins or interfaces but with method bodies. In languages that support traits, classes are composed out of traits. There are two main advantages with traits. ...