Sciweavers

3729 search results - page 329 / 746
» On Formal Modeling of Agent Computations
Sort
View
196
Voted
CORR
2008
Springer
97views Education» more  CORR 2008»
15 years 7 months ago
Modeling Cultural Dynamics
EVOC (for EVOlution of Culture) is a computer model of culture that enables us to investigate how various factors such as barriers to cultural diffusion, the presence and choice o...
Liane Gabora
208
Voted
FMOODS
2003
15 years 8 months ago
Towards Object-Oriented Graphs and Grammars
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
Ana Paula Lüdtke Ferreira, Leila Ribeiro
SIAMAM
2008
109views more  SIAMAM 2008»
15 years 7 months ago
Bifurcation Analysis of a General Class of Nonlinear Integrate-and-Fire Neurons
In this paper we define a class of formal neuron models being computationally efficient and biologically plausible, i.e., able to reproduce a wide range of behaviors observed in in...
Jonathan Touboul
ISPE
2003
15 years 8 months ago
Coordination in utility managed multi-agent groups
A two stage approach to co-ordination in a multi-agent society is presented. The first stage involves agents learning to co-ordinate their activities based on local and global uti...
Fernanda Barbosa, José C. Cunha, Omer F. Ra...
212
Voted
JPDC
2006
175views more  JPDC 2006»
15 years 7 months ago
Stochastic modeling and analysis of hybrid mobility in reconfigurable distributed virtual machines
Virtualization provides a vehicle to manage the available resources and enhance their utilization in network computing. System dynamics requires virtual machines be distributed an...
Song Fu, Cheng-Zhong Xu