中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [14]
计算技术研究所 [1]
数学与系统科学研究院 [1]
上海微系统与信息技术... [1]
采集方式
OAI收割 [17]
内容类型
期刊论文 [9]
学位论文 [8]
发表日期
2012 [3]
2010 [2]
2008 [1]
2007 [1]
2006 [5]
2004 [1]
更多
学科主题
Computer S... [1]
计算机科学技术其他学... [1]
计算机软件::软件工... [1]
筛选
浏览/检索结果:
共17条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
云环境下访问控制服务技术研究
学位论文
OAI收割
博士, 北京: 中国科学院大学, 2012
王鹏翩
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2013/01/10
云计算
访问控制服务
属性加密
属性撤销
可验证委托计算
传感器网络信息处理支撑服务测试研究
期刊论文
OAI收割
计算机工程, 2012, 期号: 2, 页码: 119-122+125
王彦哲
;
汪歆
;
邱依昕
;
潘强
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2013/02/22
传感器网络
信息处理
信息处理支撑服务
协议验证
协议测试
描述语义Web服务的带类型的OWL-S
期刊论文
OAI收割
计算机工程与应用, 2012, 卷号: 48.0, 期号: 022, 页码: 58
作者:
刘超
  |  
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
语义Web服务
OWL-S
类型
一阶动态逻辑
服务验证
基于模型的面向服务应用部署工具设计与实现
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2010
孙崝
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2010/06/09
部署模型,服务,约束验证,冲突消解,基于流程的部署
一种服务器透明的外包数据库查询验证方法
期刊论文
OAI收割
计算机研究与发展, 2010, 卷号: 47, 期号: 1, 页码: 182-190
张敏
;
洪澄
;
陈驰
  |  
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2011/05/23
查询验证
外包数据库(ODB)
验证对象(VO)
签名链(CES)
服务器透明Communication
Cost accounting
Data structures
Database systems
Real time systems
语义Web服务组合一致性验证及案例研究
学位论文
OAI收割
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2008
石玉祥
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2011/03/17
Web 服务
语义
服务组合
验证
本体构造
面向服务业务过程建模方法的研究
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2007
董广智
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2011/03/17
面向服务体系结构
业务过程管理
过程建模
过程元模型
动态语义
XYZ/E
过程分析与验证
过程柔性运作
反射
动态绑定
一种基于时隙划分的三层卫星网络QoS路由协议
期刊论文
OAI收割
计算机学报, 2006, 卷号: 29, 期号: 10, 页码: 1813-1822
周云晖
;
孙富春
;
张钹
;
王俊峰
;
王滨
  |  
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2011/07/13
低轨/中轨/高轨卫星网络
星际链路
路由协议
服务质量
时隙划分
基于时隙划分
三层
卫星网络
路由协议
Satellite Networks
网络体系结构
端到端时延
时延抖动
时空分割
路由算法
优化方法
性能
思想
实现框架
仿真验证
保证能力
吞吐量
丢包率
原理
面具Network protocols
Optimization
Probability
Satellite links
Throughput
需求驱动的Web服务建模及其验证:一个基于本体的方法
期刊论文
OAI收割
中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219
侯丽珊
;
金芝
;
吴步丹
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2011/07/13
Web服务
环境本体
自动组合
π演算
形式化验证
需求驱动
Web服务
建模
验证算法
本体
组合模型
环境变化
能力描述
进程表达式
转换机制
验证方法
可满足性
操作
形式化
概念化
π演算
语义
行为
框架
交互
一种分布式高性能集群邮件系统的设计与实现
期刊论文
OAI收割
计算机工程, 2006, 卷号: 32, 期号: 6, 页码: 253-256
郑勇
;
杨达
;
林溯奕
;
张学杰
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2011/07/13
集群
负载均衡
LVS
LDAP
分布式
高性能
集群邮件系统
设计
邮件服务系统
性能优化
相关技术
可伸缩性
高可用性
服务集群
存储集群
测试结果
中转
验证
前端
扩展
功能