CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications, Coordination Models and Languages In Proceedings
F. Arbab (Farhad), C. Baier, F.S. de Boer (Frank), J.J.M.M. Rutten (Jan) and M. Sirjani (Marjan)
January 2005 -
Argumentation for access control In Proceedings
G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)
January 2005 -
Argument games for interactive access control In Proceedings
G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)
January 2005 -
Admissible Agreements among Goal-directed Agents In Proceedings
G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)
January 2005 -
Role-based Rights in Artificial Social Systems In Proceedings
January 2005 -
Enforceable Social Laws In Proceedings
January 2005 -
January 2005
-
January 2005