Sciweavers

29386 search results - page 109 / 5878
» On modeling of self-organizing systems
Sort
View
SMC
2007
IEEE
150views Control Systems» more  SMC 2007»
15 years 4 months ago
Modeling and analysis of multi-agent systems using petri nets
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...
Jose R. Celaya, Alan A. Desrochers, Robert J. Grav...
CAISE
2005
Springer
15 years 3 months ago
Developing Multi-Agent Systems Based on MDA
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...
Beatriz Alves De Maria, Viviane Torres da Silva, C...
WSC
1997
14 years 11 months ago
Simulation of Computer Systems and Applications
The modeling of computer systems, particularly distributed systems, is presented with an emphasis on the system characteristics that are important to the model and some general me...
William S. Keezer
ERLANG
2004
ACM
15 years 3 months ago
On modelling agent systems with Erlang
Multi-agent systems are a kind of concurrent distributed systems. In this work, some guidelines on how to create multi-agent systems using Erlang are presented. The modelled syste...
Carlos Varela, Carlos Abalde, Laura M. Castro, Jos...
LICS
1997
IEEE
15 years 1 months ago
Games and Definability for System F
We present a game-theoretic model of the polymorphic -calculus, system F, as a fibred category. Every morphism of the model defines an -expanded, -normal form ^ of system F whose...
Dominic J. D. Hughes