Sciweavers

6047 search results - page 91 / 1210
» Modeling with Extend
Sort
View
CAISE
2010
Springer
15 years 1 months ago
Success Factors of e-Collaboration in Business Process Modeling
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...
Peter Rittgen
IWNAS
2006
IEEE
15 years 7 months ago
Comparisons of Three Kalman Filter Tracking Algorithms in Sensor Network
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...
Yifeng Zhu, Ali Shareef
ASM
2010
ASM
15 years 8 months ago
An Imperative Extension to Alloy
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 ...
Joseph P. Near, Daniel Jackson
ACMMPC
2000
Springer
249views Mathematics» more  ACMMPC 2000»
15 years 6 months ago
Algebraic Methods for Optimization Problems
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...
Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu
AMC
2008
130views more  AMC 2008»
15 years 1 months ago
Hedging strategy for a portfolio of options and stocks with linear programming
This paper extends the model proposed by Papahristodoulou [C. Papahristodoulou, Option strategies with linear programming, European Journal of Operational Research 157 (2004) 246
Mehmet Horasanli