964 search results - page 53 / 193 » Scenario-driven modeling and validation of requirements mode... |
AES
2008
Springer
13 years 9 months ago
2008
Springer
Animation can add significant value to Discrete-Event Simulation by helping verify, validate, and accredit simulation analyses. This is particularly true in construction where typ...
ASPLOS
2006
ACM
14 years 22 days ago
2006
ACM
Architects use cycle-by-cycle simulation to evaluate design choices and understand tradeoffs and interactions among design parameters. Efficiently exploring exponential-size desig...
BMCBI
2011
13 years 4 months ago
2011
Background: Influenza A viruses exhibit complex epidemiological patterns in a number of mammalian and avian hosts. Understanding transmission of these viruses necessitates taking ...
EURODAC
1994
IEEE
14 years 1 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
AMOST
2007
ACM
14 years 1 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...