29143 search results - page 125 / 5829 » A Sortation System Model |
237
click to vote
CONCUR
2001
Springer
15 years 10 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
181
click to vote
MABS
2005
Springer
15 years 11 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
192
click to vote
SCIA
2005
Springer
15 years 11 months ago
2005
Springer
Recently, a number of methods for 3-D modeling from images have been developed. However, the accuracy of a reconstructed model depends on camera positions and postures with which t...
165
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
163
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...