9387 search results - page 1051 / 1878 » An Optimal Process Model for a Real Time Process |
166
click to vote
ICRA
2000
IEEE
16 years 22 hour ago
2000
IEEE
In this paper we illustrate a methodology for modeling and analyzing flexible feeders using generalized semi-Markov process (GSMP) models. Working through the simple case consisti...
179
click to vote
CSCWD
2008
Springer
15 years 9 months ago
2008
Springer
Web Services for CAD (WSC)[8] aims at interoperation with a commercial CAD system based on Web Services. This paper introduces one improvement of WSC which enables remote users to...
196
click to vote
ICC
2009
IEEE
15 years 5 months ago
2009
IEEE
Background traffic has a significant impact on the behavior of network services and protocols. However, a detailed model of the background traffic can be extremely time consuming i...
217
click to vote
SDL
2003
15 years 9 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
220
click to vote
TGIS
2002
15 years 7 months ago
2002
The research field of transportation demand forecasting has started to focus on disaggregate travel behavior and micro-simulation models. To create data infrastructure, disaggrega...