Lloyd Daniel Kamara

Learn More
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules governing their behaviour. We are investigating to what extent ad hoc networks can usefully be described in terms of permissions, obligations and other more complex normative relations, based on our previous work on specifying and(More)
Voting is an essential element of mechanism design for multi-agent systems, and by extension applications built on such systems, which includes ad hoc networks, virtual organizations, and decision support tools implementing online deliberative assemblies. Much attention has been given both to designing the process so that it is resistant to manipulation by(More)
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the organization are passed to software processes. Each phase in this life-cycle requires decision making: an ostensibly fair way for independent agents to make decisions is to take a(More)
We propose a formal semantics for the protocol diagrams (interaction patterns) of AUML (Agent Unified Modelling Language). We connect this proposal with a general framework for defining the semantics of ACLs (Agent Communication Languages). We then show that protocol diagrams should be parameterised with observable commitments: additional specification of(More)
Multi-agent systems can be considered from a variety of perspectives. One such perspective arises from considering the architecture of an agent itself. Another is that of an instantiated agent architecture and its interaction with its peers in a MAS. A third perspective is that of an external observer. These three perspectives cover a potentially(More)
Voting is an essential element of mechanism design for multi-agent systems, and decision support for CSCW tools implementing online deliberative assemblies. Much attention has been given both to designing the process so that it is resistant to manipulation by strategic voting, and so that an automated system can follow rules of order as developed for the(More)
Networked systems are the driving force of modern business and commerce, underpinned by ideas such as agile enterprises, holonic manufacturing, and dynamic real-time supply chains. On occasions, the system operation will be sub-optimal or non-ideal, and disputes will occur between independent partners. It may be undesirable to resolve such disputes by(More)
A norm-governed, agent-based approach is proposed as a key technology for operating Ad Hoc networks, both as the logical platform for ubiquitous computing applications and as the physical platform for ubiquitous computing environments. Of the many issues raised by such a proposal, three are: what kind of cognitive capability the agents require, what kind of(More)
This paper reviews the experience of the Global Alliance for Vaccines and Immunization (GAVI) in introducing hepatitis B and Haemophilus influenzae type b vaccines in the poorest countries, and explores how financing for immunization has changed since GAVI Fund resources were made available during its first wave of support between 2000 and 2006. The(More)
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules governing participation. From this perspective, there is a need for mechanisms to model, monitor and manage interactions in these networks in order to promote their smooth running and correct operation. We propose a norm-governed(More)