QQ客服 官方微博 反馈留言

浏览/检索结果: 共10条，第1-10条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective 期刊论文 INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2018, 卷号: 28, 页码: 1369-1397 作者:  Gao, Honghao[1];  Miao, Huaikou[2];  Liu, Lilan[3];  Kai, Jinyu[4];  Zhao, Kun[5] 收藏  |  浏览/下载：14/0  |  提交时间：2019/04/22 Service system  design visualization  quantitative verification  probabilistic model checking  model transformations   A Deployment-Oriented Service System Reliability Analyses 期刊论文 INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING, 2016, 卷号: 9, 页码: 23-31 作者:  Kai, Jinyu[1];  Miao, Huaikou[2];  Gao, Honghao[3] 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/26 multiple-instance  deployment  user profile model  component service  reliability model under multiple-instance deployment  system reliability model   Applying Probabilistic Model Checking to Service Discovery Framework 会议论文 13th IEEE International Conference on Services Computing (SCC), 2016-06-27 作者:  Gao, Honghao[1];  Miao, Huaikou[2];  Duan, Yucong[3];  Kai, Jinyu[4] 收藏  |  浏览/下载：9/0  |  提交时间：2019/04/26 Web Service  Probabilistic Model Checking  Service Discovery Framework  The Quantitative and Qualitative Verification   A survey of quality prediction methods of service-oriented systems 期刊论文 International Journal of Hybrid Information Technology, 2016, 卷号: 9, 页码: 183-198 作者:  Kai, Jinyu[1];  Miao, Huaikou[2];  Gao, Honghao[3] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26 Reliability Modeling and Verification of BPEL-Based Web Services Composition by Probabilistic Model Checking 会议论文 IEEE/ACIS 14th International Conference on Software Engineering Research, Management and Application (SERA), 2016-01-01 作者:  Mi, Chengyang[1];  Miao, Huaikou[2];  Kai, Jinyu[3];  Gao, Honghao[4] 收藏  |  浏览/下载：9/0  |  提交时间：2019/04/26 BPEL  Web Services Composition  Reliability Modeling and Verification  Probabilistic Model Checking   Adipose-Derived Stem Cells Expressing the Neurogenin-2 Promote Functional Recovery After Spinal Cord Injury in Rat 期刊论文 CELLULAR AND MOLECULAR NEUROBIOLOGY, 2016, 卷号: 36, 期号: 5, 页码: 657-667 作者:  Tang, Linjun[1];  Lu, Xiaocheng[2];  Zhu, Ronglan[3];  Qian, Tengda[4];  Tao, Yi[5] 收藏  |  浏览/下载：9/0  |  提交时间：2019/12/24 Adipose-derived stem cells  Neurogenin2  Differentiation  Spinal cord injury  Functional recovery   Survivability Prediction of Web System Based On Log Statistics 会议论文 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2015-01-01 作者:  Zhou, Jiaan[1];  Miao, Huaikou[2];  Kai, Jinyu[3];  Zhao, Kun[4];  Gao, Honghao[5] 收藏  |  浏览/下载：4/0  |  提交时间：2019/04/26 Web service  prediction  Web log  survivability  quantitative model checking   A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking 期刊论文 INTERNATIONAL JOURNAL OF SOFTWARE INNOVATION, 2015, 卷号: 3, 页码: 24-38 作者:  Kai, Jinyu[1];  Miao, Huaikou[2];  Zhao, Kun[3];  Zhou, Jiaan[4];  Gao, Honghao[5] 收藏  |  浏览/下载：6/0  |  提交时间：2019/04/26 Behavior Model of Web Service-oriented System  Model Transformation  Probabilistic Model Checking  Requirements Model  Visualization Editor   A Visual Modeling and Transformation Tool for Multiple Representations of Probabilistic Behavior Model 会议论文 3rd International Conference on Applied Computing and Information Technology (ACIT 2015) 2nd International Conference on Computational Science and Intelligence (CSI 2015), 2015-01-01 作者:  Zhao, Kun[1];  Miao, Huaikou[2];  Kai, Jinyu[3];  Zhou, Jiaan[4];  Gao, Honghao[5] 收藏  |  浏览/下载：4/0  |  提交时间：2019/04/26 PRISM  Model Transformation  Probabilistic Behavior Model  Probabilistic Matrix  UML State Diagram   A Requirements Description Language pLSC for Probabilistic Branches and Three-Stage Events 会议论文 2014 15TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2014-01-01 作者:  Kai, Jinyu[1];  Miao, Huaikou[2];  Gao, Honghao[3] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/30 probabilistic systems  pLSC  Probabilistic branches  Probabilistic three-stage events