2838 search results - page 35 / 568 » Verifying Controlled Components |
132
Voted
WSC
2001
15 years 3 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...
123
click to vote
ACSAC
2001
IEEE
15 years 5 months 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...
150
click to vote
IFIP
2000
Springer
15 years 5 months 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...
161
Voted
TASE
2010
IEEE
14 years 9 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...
120
Voted
CLUSTER
2007
IEEE
15 years 2 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...