We propose a new model for zooming digital image. This model, driven by a partial differential equation, will balance between linear zooming on homogenous zones to anisotropic dif...
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
We explore the implications of supporting bags (i.e. multisets) in a data model and associated query language, and present some formal results concerned with the algebraic propert...
This paper provides a brief literature review of the current applications of simulation in Australia. The paper identifies areas that use simulation modeling and dynamic tools for...
Bayesian methods are now used in a variety of ways in discrete-event simulation. Applications include input modeling, response surface modeling, uncertainty analysis, and experime...