2432 search results - page 133 / 487 » High-level approach to modeling of observed system behavior |
179
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Sensitivity analysis is an indispensable tool for the analysis of complex systems. In a recent paper, we have introduced a thermodynamically consistent variance-based ...
173
click to vote
ATAL
2004
Springer
15 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...
155
click to vote
WSC
2000
15 years 7 months ago
2000
One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discre...
155
click to vote
DEXAW
2009
IEEE
16 years 1 months ago
2009
IEEE
— The use of design patterns usually changes the approach of software design and makes software development relatively easy. This paper extends work on a forensic model for Logic...
163
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...