29143 search results - page 159 / 5829 » A Sortation System Model |
120
click to vote
CSL
2004
Springer
15 years 8 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
140
Voted
SIBGRAPI
2000
IEEE
15 years 7 months ago
2000
IEEE
This work has as main objective to present an off-line signature verification system. It is basically divided into three parts. The first one demonstrates a pre-processing process,...
115
click to vote
ACMDIS
2000
ACM
15 years 7 months ago
2000
ACM
This paper presents an approach to designing interactive systems that enables critical performance parameters to be identified and models of performance to be constructed. The met...
104
Voted
COMPLEX
2009
Springer
15 years 9 months ago
2009
Springer
: Development of capital intensive systems, such as offshore oil platforms or other industrial infrastructure, generally requires a significant amount of capital investment under v...
127
Voted
ECBS
2008
IEEE
15 years 9 months ago
2008
IEEE
System execution modeling (SEM) tools provide an effective means to evaluate the quality of service (QoS) of enterprise distributed real-time and embedded (DRE) systems. SEM tools...