754 search results - page 71 / 151 » Automated Model Selection Using Context-Dependent Behaviors |
121
click to vote
DGO
2008
15 years 5 months ago
2008
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
131
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: This article provides guidelines for selecting optimal numerical solvers for biomolecular system models. Because various parameters of the same system could have drast...
119
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
An encounter-based network is a frequently-disconnected wireless ad-hoc network requiring nearby neighbors to store and forward data utilizing mobility and encounters over time. U...
136
click to vote
PTS
2007
15 years 5 months ago
2007
Extended Finite State Machine (EFSM)-based passive fault detection involves modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors of the SUT, and...
137
click to vote
WSC
2000
15 years 5 months ago
2000
Simulation models are useful to predict and understand the impact of changes to a manufacturing system. Typical factory simulation models include the parts being manufactured in t...