3765 search results - page 358 / 753 » Formal Methods for Systems Engineering Behavior Models |
217
click to vote
GI
2007
Springer
16 years 28 days ago
2007
Springer
: Agent-based simulation can be viewed as methodical advancement and generalization of microscopic modelling styles in object-oriented and discrete event simulation well suited for...
166
click to vote
INFOCOM
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper, we introduce a deterministic fluid model and two stochastic traffic models for wireless networks. The setting is a highway with multiple entrances and exits. Vehicl...
171
click to vote
IAAI
2003
15 years 8 months ago
2003
In addition to being accurate, it is important that diagnostic systems for use in automobiles also have low development and hardware costs. Model-based methods have shown promise ...
175
click to vote
RECOMB
2009
Springer
16 years 7 months ago
2009
Springer
The dynamics of biological processes are often modeled as systems of nonlinear ordinary differential equations (ODE). An important feature of nonlinear ODEs is that seemingly minor...
192
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
The immaturity of current intrusion detection techniques limits the traditional security systems in surviving malicious attacks. Intrusion tolerance approaches have emerged to over...