1362 search results - page 128 / 273 » Model Checking Large Network Protocol Implementations |
148
click to vote
MSWIM
2004
ACM
15 years 9 months ago
2004
ACM
All analytical and simulation research on ad hoc wireless networks must necessarily model radio propagation using simplifying assumptions. Although it is tempting to assume that a...
134
Voted
IJCAI
2001
15 years 4 months ago
2001
Computer modeling and simulation are indispensable for understanding the functioning of an organism on a molecular level. We present an implemented method for the qualitative simu...
118
Voted
ENTCS
2008
15 years 3 months ago
2008
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...
130
Voted
PE
2002
Springer
15 years 3 months ago
2002
Springer
Previous analyses of scalable streaming protocols for delivery of stored multimedia have largely focused on how the server bandwidth required for full-file delivery scales as the ...
141
Voted
JGO
2011
14 years 6 months ago
2011
Abstract In many problems from different disciplines such as engineering, physics, medicine, and biology, a series of experimental data is used in order to generate a model that ca...