• Login
    Search 
    •   OUR Archive Home
    • School of Business Departments
    • Department of Information Science
    • Software Engineering & Collaborative Modelling Laboratory
    • Search
    •   OUR Archive Home
    • School of Business Departments
    • Department of Information Science
    • Software Engineering & Collaborative Modelling Laboratory
    • Search
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Search

    Show Advanced FiltersHide Advanced Filters

    Filters

    Use filters to refine the search results.

    Now showing items 1-3 of 3

    • Sort Options:
    • Relevance
    • Title A-Z
    • Title Z-A
    • Date published, oldest first
    • Date published, newest first
    • Date added, oldest first
    • Date added, newest first
    • Results Per Page:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    Thumbnail

    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 ...
    Thumbnail

    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 ...
    Thumbnail

    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. ...

    Search OUR Archive | Feedback | Copyright and Disclaimer | Library
     © University of Otago Library, 65 Albany St, PO Box 56, Dunedin, New Zealand
    Email: ourarchive@otago.ac.nz
     

     

    Usage Statistics

    For this collectionFor OUR ArchiveAbout Usage Statistics

    Filter By

    Author
    Winikoff, Michael (3)
    Cranefield, Stephen (2)Jarquin, Roger (1)Li, Guannan (1)Martin, Brent (1)... View MorePublication Date2011 (2)2010 (1)Research Type
    Discussion Paper (3)
    Access LevelOpen (3)

    Theses

    Deposit Your ThesisWatch Thesis Deposit demoThesis Information guide

    OUR Archive

    LoginAbout OUR ArchiveOUR Archive Policy

    Search OUR Archive | Feedback | Copyright and Disclaimer | Library
     © University of Otago Library, 65 Albany St, PO Box 56, Dunedin, New Zealand
    Email: ourarchive@otago.ac.nz