We identify the success factors of collaborative modeling of business processes by a qualitative analysis of the experiences of participants in group modeling sessions. The factors...
This paper compares extended Kalman filters with the P, PV and PVA dynamics models for object tracking in wireless network. Experiments shows that PVA achieves the best and P per...
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
This paper extends the model proposed by Papahristodoulou [C. Papahristodoulou, Option strategies with linear programming, European Journal of Operational Research 157 (2004) 246