63 search results - page 2 / 13 » On the Numerical Analysis of Stochastic Lotka-Volterra Model... |
TACAS
2004
Springer
13 years 11 months ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
IANDC
2006
13 years 6 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
DSS
2011
12 years 9 months ago
2011
In the current paper, we outline several approaches to determine the value of information system (IS) flexibility, defined as the extent to which an IS can be modified and upgrade...
CPE
2003
Springer
13 years 11 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
ATAL
2004
Springer
13 years 11 months ago
2004
Springer
Adaptation is an essential requirement for self–organizing multi–agent systems functioning in unknown dynamic environments. Adaptation allows agents, e.g., robots, to change th...