Sciweavers

181 search results - page 11 / 37
» Evolving stable behavior in a spino-neuromuscular system mod...
Sort
View
EMSOFT
2011
Springer
13 years 9 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
14 years 12 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»
15 years 4 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»
15 years 3 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
14 years 9 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....