Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
In this paper, we study the problem of testing Intrusion Detection Systems (IDS) in Mobile Ad hoc Networks (MANET). Testing is achieved by simulating different measurements. We mo...
Hadi Otrok, Joey Paquet, Mourad Debbabi, Prabir Bh...
The design of complex artificial populations is the first step in simulating evolution during the time span of socioeconomic variables as the family income. In this paper, a new h...
The calculation of value-at-risk (VAR) for large portfolios of complex instruments is among the most demanding and widespread computational challenges facing the financial industr...
Paul Glasserman, Philip Heidelberger, Perwez Shaha...
– Virtual fixtures are virtual constraints that enhance human performance in motion tasks. They can either confine and/or guide a user’s motion. In this paper, we use a commerc...
Henry C. Lin, Keith Mills, Peter Kazanzides, Grego...