共 50 条
- [41] Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2019, 2019, 11698 : 200 - 215
- [42] Run-time reconfiguration at Xilinx PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 873 - 873
- [43] Run-Time Verification of Coboxes SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 259 - 273
- [45] Run-time Resolution of Uncertainty 2011 19TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2011, : 355 - +
- [47] On run-time enforcement of policies ADVANCES IN COMPUTER SCIENCE - ASIAN 2007: COMPUTER AND NETWORK SECURITY, PROCEEDINGS, 2007, 4846 : 268 - +
- [50] On the effectiveness of run-time checks COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 151 - 164