中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

北京大学 [42]

山东大学 [1]

上海电子信息职业技术... [1]

内容类型

期刊论文 [14]

发表日期

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共44条，第1-10条

帮助

已选(0)清除条数/页：排序方式：
	Differential privacy in probabilistic systems 期刊论文 INFORMATION AND COMPUTATION, 2017 Yang, Jiannan; Cao, Yongzhi; Wang, Hanpin 收藏 \| 浏览/下载：3/0 \| 提交时间：2017/12/03 Differential privacy Probabilistic system Metric Probabilistic bisimilarity Logical characterization NOISY CHANNELS BISIMULATION CONCURRENCY
	A modeling language to describe massive data storage management in cyber-physical systems 期刊论文 JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2017 Jing, Yuxin; Wang, Hanpin; Huang, Yu; Zhang, Lei; Xu, Jiang; Cao, Yongzhi 收藏 \| 浏览/下载：3/0 \| 提交时间：2017/12/03 Massive data storage Modeling language Denotational semantics Fixed-point theorem
	A modeling language to describe massive data storage management in cyber-physical systems. 期刊论文 Journal of Parallel & Distributed Computing, 2017, 卷号: Vol.103, 页码: 113-120 作者: Xu,Jiang; Cao,Yongzhi; Huang,Yu; Zhang,Lei; Jing,Yuxin 收藏 \| 浏览/下载：7/0 \| 提交时间：2019/12/24 PROGRAMMING languages INFORMATION storage & retrieval systems CYBER-physical systems SYSTEMS design ACQUISITION of data
	Conditional anonymity with non-probabilistic adversary 期刊论文 INFORMATION SCIENCES, 2015 Chen, Weien; Cao, Yongzhi; Wang, Hanpin 收藏 \| 浏览/下载：3/0 \| 提交时间：2017/12/03 Anonymity Conditional anonymity Strong anonymity Non-probabilistic adversary Anonymity metric INFORMATION-FLOW PRIVACY
	MINIMUM GUESSWORK DISCRIMINATION BETWEEN QUANTUM STATES 期刊论文 QUANTUM INFORMATION & COMPUTATION, 2015 Chen, Weien; Gao, Yongzhi; Wang, Hanpin; Feng, Yuan 收藏 \| 浏览/下载：4/0 \| 提交时间：2017/12/03 quantum state discrimination error probability guesswork brute-force strategy ACCESSIBLE INFORMATION CLASSICAL INFORMATION CAPACITY DISTINGUISHABILITY DIFFERENTIATE CHANNEL THEOREM SIGNAL FLOW
	Behavioural equivalences of a probabilistic pi-calculus 期刊论文 science china information sciences, 2012 Chen WeiEn; Cao YongZhi; Wang HanPin 收藏 \| 浏览/下载：4/0 \| 提交时间：2015/11/10 probabilistic pi-calculus behavioural equivalence probabilistic bisimulation probabilistic barbed bisimulation NOISY CHANNELS COMMUNICATING PROCESSES ALGEBRA
	Value-passing CCS with noisy channels 期刊论文理论计算机科学, 2012 Huang, Shuqin; Cao, Yongzhi; Wang, Hanpin; Qu, Wanling 收藏 \| 浏览/下载：5/0 \| 提交时间：2015/11/12 Barbed congruence Bisimilarity Noisy channel Probabilistic modal logic Value-passing CCS EXPANSIVE EPSILON-BISIMULATIONS MOBILE PROCESSES PROBABILISTIC PROCESSES INFORMATION LEAKAGE PI-CALCULUS SYSTEMS COMMUNICATION VERIFICATION EQUIVALENCES HIERARCHY
	MODELING RFID COMPLEX EVENTS WITH A TIMED PI-CALCULUS 其他 2012-01-01 Wei Jin; Hanpin Wang 收藏 \| 浏览/下载：1/0 \| 提交时间：2017/12/03 RFID complex events Timing Pi-calculus RFID complex events Timing Pi-calculus
	The formal analysis of sequence diagram by an object-oriented timed transition system 期刊论文 international journal of advancements in computing technology, 2011 Zhu, Meixia; Wang, Hanpin; Liu, Xikui 收藏 \| 浏览/下载：4/0 \| 提交时间：2015/11/17
	Modeling MARTE sequence diagram with timing Pi-calculus 其他 2011-01-01 Jin, Wei; Wang, Hanpin; Zhu, Meixia 收藏 \| 浏览/下载：5/0 \| 提交时间：2015/11/13

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace