2838 search results - page 153 / 568 » Verifying Controlled Components |
ICDCS
2003
IEEE
14 years 3 months ago
2003
IEEE
Current intrusion detection systems work in isolation from access control for the application the systems aim to protect. The lack of coordination and inter-operation between thes...
COMPSAC
2002
IEEE
14 years 3 months ago
2002
IEEE
When different business units of an international company are responsible for the development of different parts of a large system, a component-based software architecture may be ...
WSC
2007
14 years 21 days ago
2007
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
INFOCOM
2005
IEEE
14 years 4 months ago
2005
IEEE
— We consider optimal control for general networks with both wireless and wireline components and time varying channels. A dynamic strategy is developed to support all traffic w...
ROBOCUP
2005
Springer
14 years 3 months ago
2005
Springer
Faults in hardware and software are not totally avoidable not even if the components are carefully designed, implemented and tested. In this paper we present a solution for detecti...