位置：成果数据库 > 期刊 > 期刊详情页
基于时间概率代价进程代数的Web服务组合建模和分析
  • ISSN号：0254-4164
  • 期刊名称：计算机学报
  • 时间：2012
  • 页码：918-936
  • 相关项目：基于控制机制的软件可靠性新技术及其理论研究
作者： 肖芳雄|李燕|黄志球|曹子宁|陈哲|范大娟|
同期刊论文项目
基于控制机制的软件可靠性新技术及其理论研究
期刊论文 65
同项目期刊论文
BPEL谓词约束建模及可行路径分析
嵌入式机载软件安全性分析标准、方法及工具研究综述
基于双格的多值模型的精化关系与对称化简
支持语义、接口和协议的服务相容性分析
A review of automated formal verification of Ad Hoc routing protocols for wireless sensor networks
Mismatches identification and mediation for web services composition based on semantic information
Self-adaptive semantic web service matching method
使用事件自动机规约的C语言有界模型检测
面向服务器集群的自动化测试监控平台的研究和实现
Web服务中支持本体推理的隐私保护研究
Slithice:一个基于系统依赖图的Java程序切片工具
A FORMAL MODEL FOR CHECKING THE CONVERGENCE PROPERTY OF BORDER GATEWAY PROTOCOL
<span style="font-family:;font-size:10.5pt;">Modeling and Analyzing the Convergence
<span style="font-family:;font-size:10.5pt;">Model Checking Aircraft Controller Soft
Analyzing temporal constraints for web services composition
一种状态事件故障树的定量分析方法
面向行为的Web服务组合隐私策略描述研究
<span style="font-size:10.5pt;font-family:;">Control Systems on Automata and Grammar
An Energy-Efficient Routing Protocol Using Movement Trends in Vehicular Ad hoc Networks
ESpin:基于SPIN的Eclipse模型检测环境
面向适航认证的模型驱动机载软件构件的安全性验证
支持本体推理的P3P隐私策略冲突检测研究
On the Generative Power of omega-Grammars and omega-Automata
Java程序自动锁分解重构
支持模型检测的故障树生成方法研究
Web服务组装中的隐私暴露分析方法
Detecting Hot Road Mobility of Vehicular Ad Hoc Networks
缓存区溢出研究与发展
基于BPEL的RESTful Web服务异步交互及组合研究
RUNTIME VERIFICATION OF ARRAY ACCESS VIOLATIONS IN C PROGRAMS
基于NS2的队列管理算法DropTail和RED仿真与研究
一种基于状态事件故障树的软件安全性分析方法研究
将故障信息扩展到功能模型的安全性分析方法研究
基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究
云计算环境中支持语义的安全策略匹配研究
基于图谱理论几何空间结构变换的大数据核聚类算法
本体评估方法研究综述
C程序内存安全的运行时检测方法研究和实现
期刊信息
  • 《计算机学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国计算机学会 中国科学院计算技术研究所
  • 主编：孙凝晖
  • 地址：北京中关村科学院南路6号
  • 邮编：100190
  • 邮箱：cjc@ict.ac.cn
  • 电话：010-62620695
  • 国际标准刊号：ISSN：0254-4164
  • 国内统一刊号：ISSN：11-1826/TP
  • 邮发代号:2-833
  • 获奖情况:
  • 中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:48433