3765 search results - page 141 / 753 » Formal Methods for Systems Engineering Behavior Models |
83
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Generally, swarm models and algorithms consider synchronous agents, i.e., they act simultaneously. This hypothesis does not fit multi-agent simulators nor robotic systems. In this...
118
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...
149
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
In this paper we show that the (co)chain complex associated with a decomposition of the computational domain, commonly called a mesh in computational science and engineering, can b...
129
Voted
FSEN
2009
Springer
15 years 6 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
126
Voted
WSC
2001
15 years 4 months ago
2001
Stochastic simulation models are used to predict the behavior of real systems whose components have random variation. The simulation model generates artificial random quantities b...