- 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
Search Results for Collection: Software Engineering & Collaborative Modelling Laboratory
Now showing items 1-4 of 4
-
(Conference or Workshop Item (Paper), Dagstuhl Seminar Proceedings 09121: Normative Multi-Agent Systems, 2009)In multi-agent systems, software agents are modelled to possess characteristics and behaviour borrowed from human societies. Norms are expectations of behaviours of the agents in a society. Norms can be established in a ... -
(Conference or Workshop Item (Paper), 8th European Workshop on Multi-Agent Systems, 2010)Previous work on detecting fulfilments and violations of expectations (which may correspond to conventions, norms, commitments or contracts) assumed that information about the world is available as an abstract logical model ... -
(Conference or Workshop Item (Paper), 8th European Workshop on Multi-Agent Systems, 2010)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 ... -
(Conference or Workshop Item (Paper), Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, 2006)This paper proposes a rule language for defining social expectations based on a metric interval temporal logic with past and future modalities and a current-time binding operator. An algorithm for run-time monitoring ...
Now showing items 1-4 of 4