维普期刊资源整合服务平台（V6.5）

维普中文期刊产品整合服务

8篇 您的检索式：作者名="MIAO HUAIKOU"

选中清除导出查看参考文献查看引证文献引用追踪共1页首页上一页第1页下一页末页 /1 跳转

		题名	作者	年代	出处	被引量
	1	Model Checking-Based Testing of Web Applications显示文摘A formal model representing the navigation behavior of a Web application as the Kripke structure is proposed and an approach that applies model checking to test case generation is presented. The Object Relation Diagram as the object model is employed to describe the object structure of a Web application design and can be translated into the behavior model. A key prob-lem of model checking-based test generation for a Web applica-tion is how to construct a set of trap properties that intend to cause the violations of model checking against the behavior model and output of counterexamples used to construct the test sequences. We give an algorithm that derives trap properties from the object model with respect to node and edge coverage criteria.	ZENG Hongwei MIAO Huaikou	2007	Wuhan University Journal of Natural Sciences2007，12，5：	2
	2	D_DIPS:An Intrusion Prevention System for Database Security显示文摘	Jiazhu Dai Huaikou Miao	2005	ICICS LNCS 37832005，5，：	1
	3	Formalized abstract Component Object Mode显示文摘	MIAO HUAIKOU YU CHUANJIANG LI LIA	2000	IEEE Technology of Object-Oriented Languages and System2000，，4：	1
	4	Research on the dynamic reconfiguration of Web application using two-phase compatibility verification显示文摘	Honghao Gao & Huaikou Miao	2013	International Journal of Computer Mathematics Volume 90 Issue 112013，2013，：	1
	5	Applying SMV for security protocol verification显示文摘	MEI Jia MIAO Huaikou LIU Pan	2009	Information Technology Journal2009，8，7：	1
	6	Toyn L Proving the Existence of Initial State in Z Specifications显示文摘	Miao Huaikou McDermid J A	1995	Chinese Journal of Advanced Software Research1995，2，4：	1
	7	An Approach to Constructing User-constrained Trustworthy Service Flow显示文摘	LIU Yang MIAO Huaikou MA Yan	2011	Chinese Journal of Electronics2011，20，3：	1
	8	Data Exchange in Grid Workflow显示文摘In existing web services-based workflow, data exchanging across the web services is centralized, the workflow engine intermediates at each step of the application sequence. However, many grid applications, especially data intensive scientific applications, require exchanging large amount of data across the grid services. Having a central workflow engine relay the data between the services would results in a bottleneck in these cases. This paper proposes a data exchange model for individual grid workflow and multi-workflows composition respectively. The model enables direct communication for large amounts of data between two grid services. To enable data to exchange among multiple workflows, the bridge data service is used.	ZENG Hongwei MIAO Huaikou	2006	Wuhan University Journal of Natural Sciences2006，11，5：	0

返回顶部每页显示：

共1页首页上一页第1页下一页末页 /1 跳转

goolge学术搜索-维普

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费