3199 search results - page 139 / 640 » Variability in Automation System Models |
127
click to vote
WSC
2000
15 years 3 months ago
2000
Analytical models for the dynamics of some discrete event systems are introduced where the system trajectories are solutions to linear and mixed-integer programs. 1 BACKGROUND The...
114
click to vote
WSC
2007
15 years 4 months ago
2007
Models of real world systems are being increasingly generated from data that describes the behaviour of systems. Data mining techniques, such as Artificial Neural Networks (ANN),...
146
click to vote
SIGMETRICS
2003
ACM
15 years 7 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
126
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
We present a novel proof of Toyama's famous modularity of confluence result for term rewriting systems. Apart from being short and intuitive, the proof is modular itself in th...
115
click to vote
WSC
2000
15 years 3 months ago
2000
Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...