189 search results - page 31 / 38 » Modeling Concurrent Real-Time Processes Using Discrete Event... |
WSC
2004
13 years 9 months ago
2004
For newly designed or transformed business processes, accurately predicting business performances such as costs and customer services before actual deployment is very important. W...
PERCOM
2007
ACM
14 years 1 months ago
2007
ACM
Traffic Congestion is a multi-billion dollar national problem and worsening every year with population growth and increase in freight traffic. We present a model for realistic s...
HYBRID
2004
Springer
14 years 1 months ago
2004
Springer
We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a contin...
HYBRID
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
AIME
2001
Springer
14 years 5 days ago
2001
Springer
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...