Otago University Research Archive
Browsing Software Engineering & Collaborative Modelling Laboratory by Date Published
Otago University Research Archive
- OUR Archive Home
- →
- School of Business Departments
- →
- Department of Information Science
- →
- Software Engineering & Collaborative Modelling Laboratory
- →
- Browsing Software Engineering & Collaborative Modelling Laboratory by Date Published
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Software Engineering & Collaborative Modelling Laboratory by Date Published
Now showing items 1-20 of 64
-
(Discussion Paper, 2011)Although expectations play an important role in designing cognitive agents, agent expectations are not explicitly being handled in most common agent programming environments. There are techniques for monitoring fulfilment ... -
(Discussion Paper, 2011)Second Life is a multi-purpose online virtual world that provides a rich platform for remote human interaction. It is increasingly being used as a simulation platform to model complex human interactions in diverse areas, ... -
(Discussion Paper, 2011)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 ... -
(Discussion Paper, 2011)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 ... -
(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 ... -
(Discussion Paper, 2010)In this article we review contemporary multi-agent system architectures and implementations. We particularly focus on asynchronous message passing mechanisms. Our motivation is to explore two main areas in the context of ... -
(Journal Article, Journal of Logic and Computation, 2010)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 ... -
(Other Type, 2010)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 ... -
(Discussion Paper, 2010)In normative multi-agent systems, the question of “how an agent identifies a norm in an agent society” has not received much attention. This paper aims at addressing this question. To this end, this paper proposes an ... -
(Discussion Paper, 2010)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. ... -
(Dissertation, Postgraduate Diploma of Science in Software Engineering, 2009)Multi-agent frameworks are broadly available in the meanwhile. Nearly all of them however understand the agent concept differently, going as far as to provide several agent concepts within a platform. Along with this ... -
(Discussion Paper, 2009)This research focuses on the design and development of an IBIS-based tool called IBISMod, which facilitates a distributed and collaborative decision-making process. IBIS-based systems help analysts and designers in the ... -
(Discussion Paper, 2009)The problem with the uptake of new technologies such as ZigBee is the lack of development environments that help in faster application software development. This paper describes a software framework for application development ... -
(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 ... -
(Discussion Paper, 2009)In this paper we discuss a tag-based model that facilitates knowledge sharing in the context of agents playing the knowledge sharing game. Sharing the knowledge incurs a cost for the sharing agent, and thus non-sharing is ... -
(Discussion Paper, 2008)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 ... -
(Discussion Paper, 2008)Most people hold a variety of opinions on different topics ranging from sports, entertainment, spiritual beliefs to moral principles. These can be based on a personal reflection and evaluation or on their interactions with ... -
(Discussion Paper, 2008)In a multi-agent system, a single agent may not be capable of completing complex tasks. Therefore agents are required to form a team to fulfill the task requirements. In this paper an agent model is introduced that ... -
(Discussion Paper, 2007)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 ...
Now showing items 1-20 of 64