共 50 条
- [31] Towards Security Case Run-time Adaptation by System Decomposition into Services [J]. IECON 2018 - 44TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2018, : 4102 - 4108
- [32] Optimal stopping for the run-time self-adaptation of software systems [J]. JOURNAL OF INFORMATION & OPTIMIZATION SCIENCES, 2010, 31 (01): : 147 - 157
- [34] Software reliability via run-time result-checking [J]. JOURNAL OF THE ACM, 1997, 44 (06) : 826 - 849
- [35] Time-sensitive adaptation in CPS through run-time configuration generation and verification [J]. 2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 332 - 337
- [36] PartiSan: Fast and Flexible Sanitization via Run-Time Partitioning [J]. RESEARCH IN ATTACKS, INTRUSIONS, AND DEFENSES, RAID 2018, 2018, 11050 : 403 - 422
- [37] PSL model checking and run-time verification via testers [J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 573 - 586
- [38] Run-time Adaptation to Heterogeneous Processing Units for Real-time Stereo Vision [J]. 2012 IEEE 14TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS & 2012 IEEE 9TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (HPCC-ICESS), 2012, : 1592 - 1599
- [40] Run-Time Security and Safety Management in Adaptive Smart Work Environments [J]. 2017 IEEE 26TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES - INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2017, : 256 - 261