A formal framework for the modelling of multi-agent systems with dynamic structure

A formal framework for the modelling of multi-agent systems with dynamic structure

Bibliographic Details
Main Author:	Stamatopoulou, Ioanna
Published:	University of Sheffield 2008
Subjects:	005.3
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.500182

Similar Items

A formal approach to modelling real-time critical systems
by: Veloudis, Simeon
Published: (2004)

Flexible service provisioning in multi-agent systems
by: Stein, Sebastian
Published: (2008)

A multi-agent system for a bus crew rescheduling system
by: Shibghatullah, Abdul Samad
Published: (2008)

A multi-agent system for hypermedia information discovery on the WWW
by: Lazarou, Vasilios S.
Published: (1999)

An incremental process for the development of multi-agent systems in Event-B
by: Ball, Elisabeth
Published: (2008)

Data distribution strategies for the distributed simulation of multi-agent systems
by: Oguara, Tonworio
Published: (2007)

Tackling the computational complexity of understanding coalition formation in multi-agent systems
by: Dowell, Andrew James
Published: (2010)

Dependable compositions : a formal approach
by: Jefferson, Nigel Patrick
Published: (2007)

The pragmatic formalization of computing systems relative to a given high-level language
by: Cooke, Derek John
Published: (1976)

Design and Modelling of Multimedia Information Systems with Semiotic Agents
by: Chan, Mangtang
Published: (2010)

Formal construction of Instruction Set Architectures
by: Wright, Stephen
Published: (2009)

Generative templates for formal metamodel design
by: Wu, Nicolas
Published: (2010)

Consistent formal theories of the semantics of programming languages
by: Lauer, P. E.
Published: (1971)

Prescriptive formalism for constructing domain-specific evolutionary algorithms
by: Surry, Patrick David
Published: (1998)

Software traceability for multi-agent systems implemented using BDI architecture
by: Filho, Gilberto Amado de Azevedo Cysneiros
Published: (2011)

Design, formalization and realization of harmonic box coordination language : an externally timed specification substrate for arbitrarily reliable distributed systems
by: George, Samuel R. J.
Published: (2014)

A framework for modelling stochastic optimisation algorithms with Markov chains
by: Clark, Edward Blair
Published: (2008)

Resolution-based methods for linear-time temporal logics : with applications to formal verification
by: Ludwig, Michel
Published: (2010)

A techniques-based framework for domain-specific synthesis of simulation models
by: de Castro, Alberto Nogueira
Published: (1999)

Speculative parallelisation with dynamic data structures
by: Rybin, Pavel
Published: (2010)

Methods of connecting multi-block structured meshes for CFD applications
by: Wang, Yibin
Published: (2011)

The construction of recoverable multi-level systems
by: Verhofstad, Joost S. M.
Published: (1977)

Empirical framework for building and evaluating Bayesian network models for defect predication
by: Jakimovska, Ana
Published: (2010)

A high usability transparency framework for model interoperability using COTS simulation packages
by: Ryde, Michael Daniel
Published: (2005)

Digital Simulation of Dynamic Systems
by: Al-Afifi, J. I.
Published: (1978)

Agents, contexts, and logic
by: Hepple, Anthony John
Published: (2010)

A computational framework for stereo imaging
by: Uribe, Maria Patricia Trujillo
Published: (2005)

Hand tracking with Parametric Skin Modelling Using Particle Filter Framework for Gesture Recognition
by: Ongkittikul, Surachai
Published: (2010)

Network media distribution systems: understanding the media ecology of software using an evolutionary framework
by: Rawlings, Tomas Richard
Published: (2013)

Multi-perspective modelling for knowledge management and knowledge engineering
by: Kingston, John
Published: (2007)

The management of dynamically reconfigurable computing systems
by: Su, Lan
Published: (2008)

Probabilistic uncertainty in an interoperable framework
by: Williams, Matthew William
Published: (2011)

Bounded model checking of multi-threaded programs via sequentialization
by: Inverso, Omar
Published: (2015)

Computer Aided Design and Analysis of Dynamical Models
by: Shepherd, P.
Published: (1977)

Dynamic memory allocation within a behavioural synthesis system
by: Milton, Daniel J. D.
Published: (2002)

A framework for static program analysis of imperative languages
by: Panumong, Vajirapan
Published: (2009)

A framework for hand gesture recognition in desktop environment
by: Elshehry, Osama S. A.
Published: (2002)

A biologically Inspired Framework for Classification of Visual Information
by: Dong, L.
Published: (2009)

GAPS : a hybridised framework applied to vehicle routing problems
by: Morgan, Matthew J. W.
Published: (2008)

A grid and cloud-based framework for high throughput bioinformatics
by: Flanagan, Keith Stanley
Published: (2010)

Cannot write session to /tmp/vufind_sessions/sess_dsdcct28ikq7f3quji3qa2qbsh