Sciweavers

181 search results - page 11 / 37
» Evolving stable behavior in a spino-neuromuscular system mod...
Sort
View
EMSOFT
2011
Springer
12 years 7 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
AAAI
2008
13 years 9 months ago
Mathematical Modeling and Convergence Analysis of Trail Formation
An ant deposits pheromone along the path that it travels and is more likely to choose a path with a higher concentration of pheromone. The sensing and dropping of pheromone makes ...
Sameena Shah, Ravi Kothari, Jayadeva, Suresh Chand...
HICSS
2009
IEEE
104views Biometrics» more  HICSS 2009»
14 years 2 months ago
A Simple Model for the Reliability of an Infrastructure System Controlled by Agents
A simple dynamic model of agent operation of an infrastructure system is presented. This system evolves over a long time scale by a daily increase in consumer demand that raises t...
Benjamin A. Carreras, David E. Newman, Ian Dobson,...
SCESM
2006
ACM
262views Algorithms» more  SCESM 2006»
14 years 1 months ago
Scenario-driven modeling and validation of requirements models
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
Christian Seybold, Silvio Meier, Martin Glinz
NN
2007
Springer
13 years 6 months ago
Awaking and sleeping of a complex network
A network with a logistic-like local dynamics is considered. We implement a mean-field multiplicative coupling among first-neighbor nodes. When the coupling parameter is small, ...
R. López-Ruiz, Y. Moreno, A. F. Pacheco, S....