Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
This paper investigates the dimensionality characteristics of the outcome space of a combat simulation. The independent state variables of all of the outcome states for a simulati...
Component based or building block based simulation model development is regularly mentioned as an interesting new development and a potential field of research. Most of the commer...
Process simulation is a powerful analysis tool used in many industries. It allows companies to be proactive in determining what strategies will be successful. For this reason, man...