位置：成果数据库 > 期刊 > 期刊详情页
面向服务器集群的自动化测试监控平台的研究和实现
  • ISSN号：1006-2475
  • 期刊名称：计算机与现代化
  • 时间：2014.9.15
  • 页码：137-142
  • 相关项目：基于控制机制的软件可靠性新技术及其理论研究
作者： 汪旺|夏凤|陈哲|黄志球|
同期刊论文项目
基于控制机制的软件可靠性新技术及其理论研究
期刊论文 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程序内存安全的运行时检测方法研究和实现
期刊信息
  • 《计算机与现代化》
  • 中国科技核心期刊
  • 主管单位:江西省科学技术厅
  • 主办单位:江西省计算机学会 江西省计算技术研究所
  • 主编：刘波平
  • 地址：南昌市西湖区井冈山大道1416号8楼
  • 邮编：330003
  • 邮箱：jgsdd@163.com
  • 电话：0791-86490996
  • 国际标准刊号：ISSN：1006-2475
  • 国内统一刊号：ISSN：36-1137/TP
  • 邮发代号:44-121
  • 获奖情况:
  • 中国科技核心期刊 中国科技论文统计源期刊 江西省...
  • 国内外数据库收录:
  • 波兰哥白尼索引,中国中国科技核心期刊
  • 被引量:14808