2838 search results - page 35 / 568 » Verifying Controlled Components |
WSC
2001
13 years 10 months ago
2001
Discrete-event simulation is an established tool for the design and management of large-scale mail sortation and distribution systems. Because the design of distribution facilitie...
ACSAC
2001
IEEE
14 years 16 days ago
2001
IEEE
We present an approach for controlling access to data publishers in the framework of Web-based information services. The paper presents a model for enforcing access control regula...
IFIP
2000
Springer
14 years 14 days ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
TASE
2010
IEEE
13 years 3 months ago
2010
IEEE
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...
CLUSTER
2007
IEEE
13 years 8 months ago
2007
IEEE
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such applications is therefore dependent o...