Sciweavers

Share
PPAM
2007
Springer

A Formal Model of Multi-agent Computations

9 years 1 months ago
A Formal Model of Multi-agent Computations
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 definition of the optimal task scheduling together with results on the existence and characterization of optimal scheduling strategies.
Maciej Smolka
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where PPAM
Authors Maciej Smolka
Comments (0)
books