B
2007
Springer
14 years 5 months ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ļ...
B
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
ATAL
2007
Springer
14 years 5 months ago
2007
Springer
Prometheus is an agent-oriented software engineering methodology. The Prometheus Design Tool (PDT) is a software tool that supports a designer who is using the Prometheus methodol...
AOSE
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...
AOSE
2007
Springer
14 years 5 months ago
2007
Springer
This paper describes how the Organization-based Multiagent Systems Engineering (O-MaSE) methodology can be applied to an exemplar multiagent system, the Conference Management Syste...
AOSE
2007
Springer
14 years 5 months ago
2007
Springer
In this paper we propose viewing Virtual Worlds as open Multiagent Systems and propose the 3D Electronic Institutions methodology for their development. 3D Electronic Institutions ...
AOSE
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. E-institutions are envisioned as facilities on the Internet for heterogeneous software agents to perform their interactions and thus forming truly open agent systems. We ...
AOSE
2007
Springer
14 years 5 months ago
2007
Springer
This paper describes how the Prometheus Design Tool (PDT) is used to support the Prometheus methodology for designing agent systems. This is done by using an exemplar system that h...
AOSE
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. The agent-oriented software engineering methodology Tropos oļ¬ers a structured development process and supporting tools for developing complex, distributed systems. The ...
AOSE
2007
Springer
14 years 5 months ago
2007
Springer
This paper describes the Organization-based Multiagent System Engineering (O-MaSE) Process Framework, which helps process engineers deļ¬ne custom multiagent systems development pr...