A Logical Treatment for the Emergence of Control in Complex Self-Organising Systems
Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
A Scalable Governance Model for Autonomic M-Commerce
Proceedings of the 2008 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2008
Towards an Advanced Framework for Whole Body Interaction
VMR '09 Proceedings of the 3rd International Conference on Virtual and Mixed Reality: Held as Part of HCI International 2009
Autonomic Provisioning for Mobile Commerce
Proceedings of the 2009 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2009
Runtime user interface design and adaptation
Proceedings of the 23rd British HCI Group Annual Conference on People and Computers: Celebrating People and Technology
Mind out of programmable matter: exploring unified models of emergent autonomy
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Towards the Automated Engineering of Dependable Adaptive Services
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Hi-index | 0.01 |
In this paper a cybernetics-based viable system architectural model is introduced, which provides a blueprint for high-assurance systems and a meta-control model necessary for the adjustable deliberation and autonomy of self-managing systems. The logical formalism is provided by the Situation Calculus and underpinned by an EnhancedBelief-Desires-Intentions (EBDI) framework to facilitate the representation and reasoning of scaleable autonomic computing systems.