位置：成果数据库 > 期刊 > 期刊详情页
A study on network service behavior verification with process algebra and its application
  • ISSN号：0254-4164
  • 期刊名称：Jisuanji Xuebao/Chinese Journal of Computers
  • 时间：0
  • 页码：1660-1668
  • 语言：英文
  • 相关项目：网络环境下自适应服务组合关键技术研究
作者： 王元卓|陈福|杨家海|杨扬|贾美英|
同期刊论文项目
网络环境下自适应服务组合关键技术研究
期刊论文 15 会议论文 5
同项目期刊论文
MANET手机通信的资源互发现算法及其实现
Resource management architecture and genetic ant algorithm for P2PGrid system
The Representation and Computation of QoS Preference with Its Applications in Grid Computing Environ
Research on two-phase grid task scheduling based on Petri nets
Blind carrier frequency offset estimation in OFDM systems with I/Q imbalance
A Workflow Management Framework Based on Peer-to-Peer Grid Environment
Resource management model and resource discovery algorithm for P2PGrid
P2PGridsec: A reputation-based security framework in P2PGrid system
网络服务行为的进程代数验证方法研究及其应用
一种新的IP追踪的分片标记方法
IP追踪技术压缩边分片采样算法的改进
期刊信息
  • 《计算机学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国计算机学会 中国科学院计算技术研究所
  • 主编：孙凝晖
  • 地址：北京中关村科学院南路6号
  • 邮编：100190
  • 邮箱：cjc@ict.ac.cn
  • 电话：010-62620695
  • 国际标准刊号：ISSN：0254-4164
  • 国内统一刊号：ISSN：11-1826/TP
  • 邮发代号:2-833
  • 获奖情况:
  • 中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:48433