Now showing items 1-11 of 11

  • Agent-based container terminal optimisation 

    Winikoff, Michael; Wagner, Hanno-Felix; Young, Thomas; Cranefield, Stephen; Jarquin, Roger; Li, Guannan; Martin, Brent; Unland, Rainer
    Container terminals play a critical role in international shipping and are under pressure to cope with increasing container traffic. The problem of managing container terminals effectively has a number of characteristics ...
  • Assurance of agent systems: What role should formal verification play? 

    Winikoff, Michael
    In this paper we consider the broader issue of gaining assurance that an agent system will behave appropriately when it is deployed. We ask to what extent this problem is addressed by existing research into formal verification. ...
  • Energy-aware optimisation of business processes 

    Lopez, Beatriz; Ghose, Aditya; Savarimuthu, Bastin Tony Roy; Nowostawski, Mariusz; Winikoff, Michael; Cranefield, Stephen
    Due to changes in energy supply, and regulatory mechanism related to energy provisioning, organizations will need to tackle energy management is- sues. One way of doing so is to allocate resources to business processes ...
  • Modelling and monitoring interdependent expectations 

    Cranefield, Stephen; Winikoff, Michael; Vasconcelos, Wamberto
    Previous research on modelling and monitoring norms, contracts and commitments has studied the semantics of concepts such as obligation, permission, prohibition and commitment; languages for expressing behavioural constraints ...
  • On the testability of BDI agent systems 

    Winikoff, Michael; Cranefield, Stephen
    Before deploying a software system we need to assure ourselves (and stakeholders) that the system will behave correctly. This assurance is usually done by testing the system. However, it is intuitively obvious that ...
  • On the testability of BDI agent systems 

    Winikoff, Michael; Cranefield, Stephen
    Before deploying a software system we need to assure ourselves (and stake-holders) that the system will behave correctly. This assurance is usually done by testing the system. However, it is intuitively obvious that adaptive ...
  • On the testability of BDI agent systems 

    Winikoff, Michael; Cranefield, Stephen
    Before deploying a software system we need to assure ourselves (and stake- holders) that the system will behave correctly. This assurance is usually done by testing the system. However, it is intuitively obvious that ...
  • On the testability of BDI agents 

    Winikoff, Michael; Cranefield, Stephen
    Before deploying a software system we need to assure ourselves that the system will behave correctly. This assurance is usually done by testing the system. However, it is intuitively obvious that adaptive systems, including ...
  • Towards Energy-Aware Optimisation of Business Processes 

    López, Beatriz; Ghose, Aditya; Savarimuthu, Tony; Nowostawski, Mariusz; Winikoff, Michael; Cranefield, Stephen
    Time dependent energy tariffs are a matter of concern to managers in organisations, who need to rethink how to allocate resources to business processes so that they take into account energy costs. However, due to the ...
  • Verifying social expectations by model checking truncated paths 

    Cranefield, Stephen; Winikoff, Michael
    One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectations, together with infrastructure supporting ...
  • Verifying social expectations by model checking truncated paths 

    Cranefield, Stephen; Winikoff, Michael
    One approach to moderating the behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectations, together with infrastructure supporting conformance ...