The accurate and efficient modeling of Internet worms is a particularly challenging task for network simulation tools. The atypical and aggressive behavior of these worms can easi...
In this paper, we focus on the implementation of a localization algorithm for sensor networks using a discrete event simulation (DES) architecture. In this implementation, DES is ...
This paper presents the development process of the Panama Canal Simulation Model (PCSM). The PCSM was developed by The SABRE Group (SABRE) for the Panama Canal Commission (PCC) to...
This paper discusses a real-world application of simulation to schedule operator and machine resources in a floor tile manufacturing plant. The paper discusses attempts at using a...
Hank Czarnecki, Bernard J. Schroer, M. Mizzanur Ra...
We prove that the equational theory of the process algebra BCCSP modulo completed simulation equivalence does not have a finite basis. Furthermore, we prove that with a finite alph...