1663 search results - page 136 / 333 » Validation and Verification of Simulation Models |
123
click to vote
BROADNETS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract — In order to perform valid experiments, traffic generators used in network simulators and testbeds require up to date models of traffic as it exists on real network lin...
118
click to vote
WSC
2004
15 years 5 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
135
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
136
click to vote
SI3D
2003
ACM
15 years 9 months ago
2003
ACM
We present algorithms that enable virtual objects to interact with and respond to virtual representations, avatars, of real objects. These techniques allow dynamic real objects, s...
124
click to vote
CORR
2000
Springer
15 years 3 months ago
2000
Springer
Analyzing the effect of concentrated noise on a typical decision-making process of a simplified two-candidate voting model, we have demonstrated that a local approach using a regi...