29143 search results - page 159 / 5829 » A Sortation System Model |
165
click to vote
CSL
2004
Springer
15 years 11 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,...
185
click to vote
SIBGRAPI
2000
IEEE
15 years 10 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,...
164
click to vote
ACMDIS
2000
ACM
15 years 10 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...
150
click to vote
COMPLEX
2009
Springer
16 years 28 days 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...
171
click to vote
ECBS
2008
IEEE
16 years 25 days 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...