29143 search results - page 19 / 5829 » A Sortation System Model |
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This contribution gives an overview of various access control strategies in use in contemporary healthcare scenarios and shows how a broad variety of respective policies ...
DATE
2002
IEEE
14 years 18 days ago
2002
IEEE
This paper addresses the development of accurate and efficient behavioral models of digital integrated circuit input and output ports for EMC and signal integrity simulations. A ...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
The topic on platform-based system modeling has received a great deal of attention today. One of the important tasks that significantly affect the effectiveness and efficiency of ...
ECBS
2007
IEEE
14 years 2 months ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
ETFA
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...