29143 search results - page 20 / 5829 » A Sortation System Model |
UM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Economic modeling provides a formal mechanism to understand user incentives and behavior in online systems. In this paper we describe the process of building a parameteri...
ISCC
2000
IEEE
14 years 1 days ago
2000
IEEE
Performance modeling and evaluation techniques are essential when designing and implementing distributed software systems. Constructing performance models for such systems can req...
HICSS
1999
IEEE
13 years 12 months ago
1999
IEEE
`Modelling inside GIS' has been widely researched over the years. This paper argues that such approach lacks appropriate model reusing and management functions because it is ...
ANSS
2002
IEEE
14 years 18 days ago
2002
IEEE
Modelica is a general equation-based object-oriented language for continuous and discrete-event modeling of physical systems for the purpose of efficient simulation. The language ...
ENTCS
2000
13 years 7 months ago
2000
We present here a large family of concrete models for Girard and Reynolds polymorphism (System F), in a non categorical setting. The family generalizes the construction of the mod...