共 50 条
- [41] Runtime Monitors for Markov Decision Processes COMPUTER AIDED VERIFICATION, PT II, CAV 2021, 2021, 12760 : 553 - 576
- [42] CPS Runtime Architecture And Automated Transformation of Applications FEAST'17: PROCEEDINGS OF THE 2017 WORKSHOP ON FORMING AN ECOSYSTEM AROUND SOFTWARE TRANSFORMATION, 2017, : 31 - 34
- [43] Runtime Adaptability through Automated Model Evolution 2010 14TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE (EDOC 2010), 2010, : 217 - 226
- [45] Adapted Loss Database A New Approach to Assess IT Risk in Automated Business Processes AMCIS 2010 PROCEEDINGS, 2010,
- [46] Automated Creation and Realization of Security Federation for Cross-Organizational Business Processes 2008 IEEE SYMPOSIUM ON ADVANCED MANAGEMENT OF INFORMATION FOR GLOBALIZED ENTERPRISES, PROCEEDINGS, 2008, : 81 - 85
- [47] Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 567 - 572
- [49] Supporting Ontology-Based Semantic Annotation of Business Processes with Automated Suggestions ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, 2009, 29 : 211 - 223