29143 search results - page 33 / 5829 » A Sortation System Model |
ECMDAFA
2007
Springer
14 years 1 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
ICRA
2003
IEEE
14 years 29 days ago
2003
IEEE
−−−− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decompose...
TIM
2011
13 years 2 months ago
2011
—This paper introduces a new sensory system for the 2-D detection, tracking, and prediction of human motions. Using the data acquired through the sensory system, a model of a hum...
ICLP
2001
Springer
14 years 4 days ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
RE
2001
Springer
14 years 3 days ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...