825 search results - page 52 / 165 » Modal Logics with Counting |
184
click to vote
ICTAI
2009
IEEE
16 years 19 days ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
188
click to vote
STACS
2001
Springer
15 years 10 months ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
LICS
2007
IEEE
16 years 8 days ago
2007
IEEE
