共 50 条
- [31] Bridging Models and Systems at Runtime to Build Adaptive User Interfaces EICS 2010: PROCEEDINGS OF THE 2010 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, 2010, : 9 - 18
- [32] Runtime Verification of Self-Adaptive Systems with Changing Requirements 2023 IEEE/ACM 18TH SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS, SEAMS, 2023, : 104 - 114
- [34] Runtime Evolution of the Adaptation Logic in Self-Adaptive Systems 2015 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING, 2015, : 141 - 142
- [35] An approach based on runtime models for developing dynamically adaptive systems FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2017, 68 : 365 - 375
- [36] Architecture Support for Runtime Integration and Verification of Component-based Systems of Systems 2008 23RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, PROCEEDINGS, 2008, : 41 - 48
- [37] Adaptive Runtime Estimate of Task Execution Times using Bayesian Modeling 2021 IEEE 27TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2021), 2021, : 1 - 10
- [38] Compositional modeling and refinement for hierarchical hybrid systems JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2006, 68 (1-2): : 105 - 128
- [39] Compositional Cyber-Physical Systems Modeling ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (333): : 125 - 138
- [40] Determination of Compositional Systems Through Systemic Modeling MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2017, 2017, 10527 : 298 - 311