Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

PPAM
2007
Springer

favoriteEmaildiscussreport

140views Distributed And Parallel Com...» more PPAM 2007»

A Formal Model of Multi-agent Computations

13 years 10 months ago

A Formal Model of Multi-agent Computations

Download www.ii.uj.edu.pl

Abstract. The paper contains an extension of a formal model of multiagent computing system developed in previous publications towards considering a more general system state. We provide also some deeper details of the model in the case of a homogeneous hardware environment. The model provides us with a precise deﬁnition of the optimal task scheduling together with results on the existence and characterization of optimal scheduling strategies.

Maciej Smolka

Real-time Traffic

Homogeneous Hardware Environment | Mathematics | Optimal Scheduling Strategies | Optimal Task Scheduling | PPAM 2007 |

claim paper

Related Content

» Formalizing MultiAgent POMDPs in the context of network routing

» SyntaxDirected Translation Schemes for MultiAgent Systems Conversation Modelling

» SDML A MultiAgent Language for Organizational Modelling

» MultiAgent Based Modelling from Social Simulation to Real Time Strategy Games

» MERCURIO An Interactionoriented Framework for Designing Verifying and Programming MultiAge...

» Engineering AgentSpeakL A Formal Computational Model

» MultiAgent Plan Recognition Formalization and Algorithms

» The Dynamics of Computing Agent Systems

» MCMAS A Model Checker for the Verification of MultiAgent Systems

» MultiAgents System to Model Cell Signalling by Using Fuzzy Cognitive Maps Application to C...

Post Info
More Details (n/a)

Added	09 Jun 2010
Updated	09 Jun 2010
Type	Conference
Year	2007
Where	PPAM
Authors	Maciej Smolka

Comments (0)