搜索筛选:
搜索耗时3.6735秒,为你在为你在102,285,761篇论文里面共找到 6 篇相符的论文内容
发布年度:
[期刊论文] 作者：LAI Ming-zhi,YOU Jin-Yuan,
来源：东华大学学报（英文版） 年份：2004
Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigo...
[期刊论文] 作者：JIA Zhao-qing,YOU Jin-yuan,
来源：哈尔滨工业大学学报（英文版） 年份：2004
Decentralized and unstructured peer-to-peer applications such as Gnutella are attractive because they require no centralized directories and no precise control...
[期刊论文] 作者：FU Cheng,YOU Jin-Yuan,
来源：浙江大学学报A（英文版） 年份：2004
This paper presents a type system, called Location System (L-S), to control the interferences in the ambient-like calculi. The L-S allows well-behaved (non-inte...
[期刊论文] 作者：LAI Ming-zhi,YOU Jin-Yuan,
来源：哈尔滨工业大学学报（英文版） 年份：2005
Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for...
[期刊论文] 作者：QI Zheng-wei,YOU Jin-yuan,
来源：上海交通大学学报（英文版） 年份：2005
Rewriting logic is a unified model of concurrency, which provides a formal common framework of wellknown models of concurrent systems. A new formal method of th...
[期刊论文] 作者：HE Xiao-jian,YOU Jin-yuan,TANG Xin-huai,JIA Zhao-qing,
来源：上海交通大学学报（英文版） 年份：2006
This paper aims to present a role-based interaction model for dynamic service composition in Grid environments. Assigning roles to a service means to associate...
相关搜索：
