scispace - formally typeset
F

Frances M. T. Brazier

Researcher at Delft University of Technology

Publications -  291
Citations -  4934

Frances M. T. Brazier is an academic researcher from Delft University of Technology. The author has contributed to research in topics: Multi-agent system & Middleware (distributed applications). The author has an hindex of 33, co-authored 286 publications receiving 4579 citations. Previous affiliations of Frances M. T. Brazier include Macquarie University & VU University Amsterdam.

Papers
More filters
Journal ArticleDOI

DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework

TL;DR: This paper discusses an example of the application of a high-level modelling framework which supports both the specification and implementation of a system's conceptual design, and an operational multi-agent system which manages an electricity transportation network for a Spanish electricity utility.
Proceedings Article

Formal Specification of Multi-Agent Systems: a Real World Case

TL;DR: The framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi- agent application on a conceptual level to obtain a useful formal specification framework for multi-agent systems.
Journal ArticleDOI

Social cohesion revisited: a new definition and how to characterize it

TL;DR: In this paper, a general overview on different perspectives and studies on social cohesion, offers a definition of social cohesion that is deeply rooted in current literature, and provides a framework that can be used to characterize social cohesion and help support resilient cities.
Journal ArticleDOI

Principles of component-based design of intelligent agents

TL;DR: An overview is given of reusable generic models (design patterns) for different types of agents, problem solving methods and tasks, and reasoning patterns of compositional development method DESIRE.
Journal ArticleDOI

Supporting internet-scale multi-agent systems

TL;DR: AgentScape is a scalable agent-based distributed system, described in this paper, that aims at tackling large-scale aspects of agent applications and support.