Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: distributed and mobile computing

Sortuj według:

Ogranicz wyniki do:

A Multi-facet Approach to Dynamic Agent Systems

Bednarczyk M.A., Pawłowski A., Bernardinello L., Pomello L., Borzyszkowski T.

Fundamenta Informaticae

2008

Vol. 85, nr 1-4

19-33

We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of different perspectives, each dealing with a specific aspect of the system. As a solution a synchronization operator is proposed which glues agent aware systems on shared agents and transitions. The construction turns out to be a categorical product. We also show that a logic to talk about the temporal and the structural properties of the product can be obtained by gluing suitable logical frameworks from the components.