位置：成果数据库 > 期刊 > 期刊详情页
支持语义、接口和协议的服务相容性分析
  • ISSN号：1009-3443
  • 期刊名称：解放军理工大学学报(自然科学版)
  • 时间：2013
  • 页码：182-189
  • 相关项目：基于控制机制的软件可靠性新技术及其理论研究
作者： 范大娟|黄志球|李清|陈哲|柯昌博|
同期刊论文项目
基于控制机制的软件可靠性新技术及其理论研究
期刊论文 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
基于时间概率代价进程代数的Web服务组合建模和分析
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程序内存安全的运行时检测方法研究和实现
期刊信息
  • 《解放军理工大学学报：自然科学版》
  • 中国科技核心期刊
  • 主管单位:解放军理工大学
  • 主办单位:《解放军理工大学》编辑部
  • 主编：汤雪峰
  • 地址：南京市后标营路88号
  • 邮编：210007
  • 邮箱：jfjlgdxb@163.net
  • 电话：025-80820430
  • 国际标准刊号：ISSN：1009-3443
  • 国内统一刊号：ISSN：32-1430/N
  • 邮发代号:
  • 获奖情况:
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国剑桥科学文摘,英国科学文摘数据库,中国中国科技核心期刊,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:6015