共 50 条
- [43] Effects of Prioritized Input on Human Resource Control in Departmentalized Markov Manpower Framework Methodology and Computing in Applied Probability, 2023, 25
- [44] Cloud Computing Predictive Resource Management Framework Using Hidden Markov Model 2022 5TH CONFERENCE ON CLOUD AND INTERNET OF THINGS, CIOT, 2022, : 205 - 212
- [46] A Process Algebraic Framework for Modeling Resource Demand and Supply FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2010, 6246 : 183 - +
- [47] A Framework for Recommending Resource Allocation Based on Process Mining BUSINESS PROCESS MANAGEMENT WORKSHOPS, (BPM 2015), 2016, 256 : 458 - 470
- [49] A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY Román-Díez, Guillermo (groman@fi.upm.es), 2016, Springer Verlag (15): : 987 - 1012