5 search results - page 1 / 1 » Constrained coalitional games: formal framework, properties,... |
51
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
113
Voted
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Coalitional games raise a number of important questions from the point of view of computer science, key among them being how to represent such games compactly, and how to efficien...
123
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
115
Voted
JCS
2008
15 years 1 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
110
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...