856 search results - page 53 / 172 » Business Process Modelling and Analysis Using Discrete-event... |
81
Voted
WSC
1998
15 years 18 days ago
1998
Achieving the best possible cost performance for a system is often the goal of the manager of that system. This is true for large systems (such as an entire railroad system) as we...
KBSE
2007
IEEE
15 years 5 months ago
2007
IEEE
Adoption of advanced automated SE (ASE) tools would be favored if a business case could be made that these tools are more valuable than alternate methods. In theory, software pred...
WSC
2004
15 years 19 days ago
2004
Using simulated data to develop and study diagnostic tools for data analysis is very beneficial. The user can gain insight about what happens when assumptions are violated since t...
FMCO
2008
Springer
15 years 24 days ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
JCSS
2008
14 years 11 months ago
2008
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...