Sciweavers

1886 search results - page 53 / 378
» Verifying and Validating Simulation Models
Sort
View
ICDCS
2007
IEEE
15 years 4 months ago
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
Guoqiang Shu, David Lee
GECCO
2005
Springer
127views Optimization» more  GECCO 2005»
15 years 3 months ago
Sufficiency verification of HIV-1 pathogenesis based on multi-agent simulation
Researchers of HIV-1 are today, still unable to determine exactly the biological mechanisms that cause AIDS. Various mechanisms have been hypothesized and their existences have be...
Zaiyi Guo, Hann Kwang Han, Joc Cing Tay
WSC
2008
15 years 2 days ago
Modeling and simulation of integrated intelligent systems
Complex systems consist of a large number of entities with their independent local rules and goals, along with their interactions. The effect of these properties tends to produce ...
Yongchang Li, Michael Balchanos, Bassem Nairouz, N...
WSC
2008
15 years 2 days ago
How to build better models: Applying agile techniques to simulation
For simulation practitioners, the common steps in a simulation modeling engagement are likely familiar: problem assessment, requirements specification, model building, verificatio...
James T. Sawyer, David M. Brann
FSKD
2007
Springer
100views Fuzzy Logic» more  FSKD 2007»
15 years 3 months ago
Modeling and Simulation of Extended Fuzzy Timing Workflow Nets Based on Possibility Theory
According to the practical need for uncertain time modeling and analysis in WfMSs, based on possibility theory, the paper firstly introduces fuzzy time and puts forward the concep...
Yanhua Du, Yushun Fan