2838 search results - page 94 / 568 » Verifying Controlled Components |
ICARCV
2006
IEEE
14 years 3 months ago
2006
IEEE
— Login access control refers to securing the entry point to a computing system. The login system is responsible for this service and must provide a number of tasks, the main tas...
ICPPW
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
CSFW
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
— We propose a new crossbar switch structure with adaptive bandwidth control. In a complex SoC design, the proposed crossbar switch efficiently incorporates various IPs with diff...
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
— This paper considers the application of the neural networks for the guaranteed cost control problem of discrete– time uncertain systems that have in both state and input dela...