3121 search results - page 113 / 625 » Information Survivability Control Systems |
147
click to vote
ENTCS
2006
15 years 6 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
157
click to vote
TCS
2010
15 years 4 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
144
click to vote
ACSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
The DARPA Information Assurance Program has the aim of developing and executing experiments that test specific hypotheses about defense in depth and dynamic defense capabilities. ...
160
click to vote
KES
1998
Springer
15 years 10 months ago
1998
Springer
Several intelligent features are embedded in the Growing Competitive Linear Local Mapping Neural Network. They result in an adaptive, fast-learning, very efficient control scheme, ...
168
click to vote
ICUMT
2009
15 years 4 months ago
2009
This paper presents a simple resource control mechanism with traffic scheduling for 2-hop ad-hoc networks, in which the Request-To-Send (RTS) packet is utilized to deliver feedback...