Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems
Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems
复制标题
持久计算系统作为持续可用、可靠且安全的系统
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Jingde CHENG
中科院分区：
文献类型：
--
作者：
山辺裕樹;谷川一哉;弘中哲夫;H. Shirahama and T. Hanyu;Ichiro Satoh;Jingde CHENG
登录
查看更多内容
将组件与软系统总线连接：一种设计、开发和维护可重构、普遍且持久的反应系统的新方法
DOI：
10.1109/aina.2005.139
发表时间：
2005
期刊：
19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers)
影响因子：
--
作者：
Jingde Cheng
通讯作者：
Jingde Cheng
DOI：
10.1007/bf00881868
发表时间：
1993
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
L. Wos
通讯作者：
L. Wos
反应式系统的规范和开发（特邀论文）
影响因子：
5.9
作者：
A. Pnueli
通讯作者：
A. Pnueli
EnCal：通用蕴涵微积分的自动前推系统
影响因子：
22.7
作者：
Jingde Cheng
通讯作者：
Jingde Cheng
时间相关逻辑作为预期推理反应系统的逻辑基础
DOI：
10.1063/1.1787339
发表时间：
2004
期刊：
--
影响因子：
--
作者：
Jingde Cheng
通讯作者：
Jingde Cheng