搜索筛选:
搜索耗时0.0320秒,为你在为你在61,042,058篇论文里面共找到 4 篇相符的论文内容
发布年度:
[期刊论文] 作者：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...
[期刊论文] 作者：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...
[期刊论文] 作者：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...
相关搜索：
