位置：成果数据库 > 期刊 > 期刊详情页
State/Action-based Fairness Verification for Non-determinism
  • ISSN号：1022-4653
  • 期刊名称：Chinese Journal of Electronics
  • 时间：2011.10.10
  • 页码：603-606
  • 相关项目：基于CPK标识认证和现代信任理论的可信服务关键技术研究
作者： Xu Guangquan|Pang Shanchen|Gao Honghao|Xiao Yingyuan|Li Xiaohong|Feng Zhiyong|
同期刊论文项目
基于CPK标识认证和现代信任理论的可信服务关键技术研究
期刊论文 8 会议论文 1
同项目期刊论文
A Dynamic Trust Sense Collection Model Based on Fuzzy Reasoning
Personalized Recommendation Based on Information Flow in Data Intensive Services
The Improvements of KeyNote Trust Management System
An algorithm on fairness verification of mobile sink routing in wireless sensor network
Unified Threat Model for Analyzing and Evaluating Software Threats
TPS_DR: Universal Dimension Reducing Algorithm for Optimal Trust Path Selection in Complex Sensor Ne
基于多元Pi-演算的Web服务组合描述与验证