Reasoning about safety properties in a JVM-like environment
- 作者Philip W.L. Fong
- 卷第67卷
- 印刷ISSN0167-6423
- 文件大小456.69KB
- 发表时间2007
- DOI10.1016/j.scico.2007.04.001
- 页码278-300
Operating instructions for intelligent agent coordinationVIROLI, MIRKO; RICCI, ALESSANDRO; OMICINI, ANDREA · The Knowledge Engineering Review · 2006
AGENT COORDINATION CONTEXTS IN A MAS COORDINATION INFRASTRUCTURERicci, Alessandro; Viroli, Mirko; Omicini, Andrea · Applied Artificial Intelligence · 2006
Agens Faber: Toward a Theory of Artefacts for MASAndrea Omicini; Alessandro Ricci; Mirko Viroli · 2006
MULTI-AGENT INFRASTRUCTURES FOR OBJECTIVE AND SUBJECTIVE COORDINATIONOMICINI, ANDREA; RICCI, ALESSANDRO; VIROLI, MIRKO; CIOFFI, MARCO; RIMASSA, GIOVANNI · Applied Artificial Intelligence · 2004
RBAC for Organisation and Security in an Agent Coordination InfrastructureAndrea Omicini; Alessandro Ricci; Mirko Viroli · 2005
Formal Specification and Enactment of Security Policies through Agent Coordination ContextsAndrea Omicini; Alessandro Ricci; Mirko Viroli · 2003
INFRASTRUCTURE FOR RBAC-MAS: AN APPROACH BASED ON AGENT COORDINATION CONTEXTSViroli, Mirko; Omicini, Andrea; Ricci, Alessandro · Applied Artificial Intelligence · 2007
An algebraic approach for modelling organisation, roles and contexts in MASAndrea Omicini; Alessandro Ricci; Mirko Viroli · Applicable Algebra in Engineering, Communication and Computing · 2005