77016 search results - page 300 / 15404 » Modeling Modeling |
214
click to vote
MOVEP
2000
15 years 10 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
174
click to vote
BIOCOMP
2006
15 years 8 months ago
2006
Intracellular signaling pathways as well as the interactions and coordination that exist among them are complex and difficult to visualize and understand. Computer-based models of...
161
click to vote
TEC
2002
15 years 6 months ago
2002
Abstract--This paper considers the discovery of trading decision models from high-frequency foreign exchange (FX) markets data using genetic programming (GP). It presents a domain-...
148
click to vote
CSREAEEE
2006
15 years 8 months ago
2006
- Web-based information systems (WBIS) include the website part and the system part, and easy-to-use website is particular critical to the success of WBIS. This paper argues that t...
220
click to vote
MCS
2011
Springer
15 years 1 months ago
2011
Springer
: When working with large-scale models or numerous small models, there can be a temptation to rely on default settings in proprietary software to derive solutions to the model. In ...