【摘 要】
：
Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义.为了对服务组合进行有效的验证,提出了一种基于概率模型检测的Web服务组合验证方法,该方法首先采用扩展的有
【机 构】
：
苏州大学计算机科学与技术学院 苏州 215006
【出 处】
：
2011年全国理论计算机科学学术年会
论文部分内容阅读
Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义.为了对服务组合进行有效的验证,提出了一种基于概率模型检测的Web服务组合验证方法,该方法首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Markov模型,然后采用概率模型检测器PRISM验证服务组合的可靠性,最后通过实例进一步说明该方法的可行性.
其他文献
基于双DCT变换域,本文提出了一种面向空气信道传播音频信息隐写算法.该算法通过选取第一次次DCT变换域中的低频系数,对其进行第二次DCT变换,获得双DCT变换域系数.
疫情防控常态化背景下,传统的课堂教学模式已经不能满足教学需求.以大学计算机基础教学为切入点,灵活运用超新学习通、MOOC慕课、腾讯会议等多款互联网软件,为实现教学场景多
本文对部分多值逻辑函数集中保正规关系的准完备集的性质进行了研究,为确定部分多值逻辑函数集中准完备集的最小覆盖奠定了一定的基础.
应用型人才是高职院校的培养目标,而网页设计课程更当关注应用实践、企业实践、设计实践.结合过往教学经验,探讨了高职院校网页设计课程优化策略,希望从教学资源、校企合作、
【摘 要】当前建筑行业在我国国民经济中占据重要地位，社会对于项目施工的安全问题也越来越重视。现代建筑朝着更高、体型更复杂、结构形式更多样、功能更齐全、综合性更强的方向发展，这就使得项目施工现场的安全管理难度越来越大。本文分析了项目施工现场安全管理的影响因素，并提出实现安全管理的优化措施，望有助于减少或杜绝项目施工现场安全事故的发生。 【关键词】施工现场；安全管理；影响因素 一、项目施工现场安全
他是一位数学老师,更是学生们的心灵导师。他让人拥有健康阳光的心态和敢于挑战自我的人生态度。
He is a math teacher and more a student’s spiritual teacher. He make
32岁的北京泰福恒投资发展有限公司副总经理刘新虎,是北京房地产业界70年代新生人类的一份子,也是房地产企业高层管理人员年轻化趋势的代表。在他服务的这个刚刚度过4周岁生
6月28日,夏至日刚刚过去6天,国家审计署长李金华向全国人大做了又一年度的审计工作报告。在这份被称为“2005夏季风暴”的长达26页的审计报告中,水利部、国家体育总局等38个
焦菊隐一生中最大的愿望就是做导演、排戏,发展中国戏剧艺术是他人生的支柱。可是“文革”伊始,他就被打成“资产阶级反动学术权威”,在遭受批斗和劳动改造中艰难度日。被迫
需求建模在需求工程中起着重要的作用.为了提高软件需求建模的效率和质量,提出一种基于特征组合的软件需求建模方法.首先,将特征分为功能性特征和非功能性特征;其次,形式化定