3729 search results - page 187 / 746 » On Formal Modeling of Agent Computations |
184
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose an agent-based architecture that allows context-aware communication between users. In seeking a model that is suitable for the design of the required functionalities of...
162
click to vote
WOA
2000
15 years 7 months ago
2000
The computer simulation of complex phenomena is a challenging issue for studying their properties. Several models and techniques have been developed in order to provide useful con...
165
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Most agent-based modeling techniques generate only a single trajectory in each run, greatly undersampling the space of possible trajectories. Swarming agents can explore a great m...
158
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
We present the MOdel of Organisational Change using Agents (MOCHA) as a means to formally specify, check and simulate organisations and their changes using agents. We define the s...
164
click to vote
ICCS
2005
Springer
16 years 2 hour ago
2005
Springer
Cell-DEVS is a combination of CA with the DEVS formalism that allows the definition of cellular models. CD++ is a modeling and simulation tool that implements DEVS and Cell-DEVS. W...