2009 |
12 | EE | Christian Wolter,
Philip Miseldine,
Christoph Meinel:
Verification of Business Process Entailment Constraints Using SPIN.
ESSoS 2009: 1-15 |
2008 |
11 | EE | Philip Miseldine:
Automated xacml policy reconfiguration for evaluation optimisation.
SESS 2008: 1-8 |
2007 |
10 | EE | A. Taleb-Bendiab,
Philip Miseldine,
Martin Randles,
Thar Baker:
Programming Support and Governance for Process-Oriented Software Autonomy.
WEBIST (Selected Papers) 2007: 3-18 |
2006 |
9 | EE | Philip Miseldine,
A. Taleb-Bendiab:
CA-SPA: Balancing the Crosscutting Concerns of Governance and Autonomy in Trusted Software.
AINA (2) 2006: 471-475 |
8 | EE | Martin Randles,
A. Taleb-Bendiab,
Philip Miseldine:
Towards Scaleable Self-Governance through Situated Cognitive Systems: Utilising Deliberative Logic to Provide an Encompassing Epistemic Layer.
DEXA Workshops 2006: 114-118 |
7 | EE | Philip Miseldine,
A. Taleb-Bendiab:
Retrofitting Zeroconf to Type-Safe Self-Organising Systems.
DEXA Workshops 2006: 93-97 |
6 | EE | Martin Randles,
A. Taleb-Bendiab,
Philip Miseldine:
Addressing the Signal Grounding Problem for Autonomic Systems.
ICAS 2006: 21 |
5 | | Martin Randles,
A. Taleb-Bendiab,
Philip Miseldine:
Harnessing Complexity: A Logical Approach to Engineering and Controlling Self-Organizing Systems.
ITSSA 2(1): 11-20 (2006) |
2005 |
4 | EE | Martin Randles,
A. Taleb-Bendiab,
Philip Miseldine,
Andy Laws:
Adjustable Deliberation of Self-Managing Systems.
ECBS 2005: 449-456 |
3 | EE | Philip Miseldine,
A. Taleb-Bendiab:
A Programmatic Approach to Applying Sympathetic and Parasympathetic Autonomic Systems to Software Design.
SOAS 2005: 293-303 |
2 | EE | Martin Randles,
A. Taleb-Bendiab,
Philip Miseldine:
A Logical Treatment for the Emergence of Control in Complex Self-Organising Systems.
SOAS 2005: 3-17 |
1 | EE | Martin Randles,
A. Taleb-Bendiab,
Philip Miseldine:
Mind Out of Programmable Matter: Exploring Unified Models of Emergent Autonomy.
WRAC 2005: 65-73 |