Sciweavers

235 search results - page 15 / 47
» Using simulation in the implementation of an Outpatient Proc...
Sort
View
ICDCS
2007
IEEE
15 years 7 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
136
Voted
MICAI
2005
Springer
15 years 7 months ago
Agent-Based Simulation Replication: A Model Driven Architecture Approach
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
Candelaria Sansores, Juan Pavón
WSC
2001
15 years 2 months ago
A framework for distributed simulation optimization
The system presented bridges the gap between three different research areas: discrete event simulation, heuristic optimization methods and distributed systems technology. Its goal...
Björn Gehlsen, Bernd Page
ITC
2003
IEEE
222views Hardware» more  ITC 2003»
15 years 6 months ago
Race: A Word-Level ATPG-Based Constraints Solver System For Smart Random Simulation
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
Mahesh A. Iyer
HICSS
2003
IEEE
111views Biometrics» more  HICSS 2003»
15 years 6 months ago
Evaluating Support for Improvisation in Simulated Emergency Scenarios
Technological systems involving hazards are typically managed by experienced personnel guided by wellformulated, pre-determined procedures. These procedures are designed to ensure...
David Mendonça, Giampiero E. G. Beroggi, Wi...