中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [7]
计算技术研究所 [2]
沈阳自动化研究所 [1]
采集方式
OAI收割 [10]
内容类型
期刊论文 [7]
学位论文 [3]
发表日期
2014 [2]
2004 [1]
2002 [1]
2001 [2]
2000 [2]
1999 [1]
更多
学科主题
计算机软件 [1]
筛选
浏览/检索结果:
共10条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
作者升序
作者降序
基于页面深度复用的应用集成框架设计
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2014
付冉
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2014/05/29
交互逻辑
页面裁剪
应用集成
自适应定制
页面刷新
基于BSN识别双人交互动作方法的研究
期刊论文
OAI收割
计算机工程与应用, 2014, 卷号: 50, 期号: 13, 页码: 1-5, 20
陈野
;
王哲龙
;
武东辉
收藏
  |  
浏览/下载:62/0
  |  
提交时间:2014/04/16
体感网
双人交互动作
隐马尔可夫模型
数据融合
一阶逻辑
马尔可夫逻辑网
多Agent VSK-AF逻辑
期刊论文
OAI收割
计算机工程, 2004, 卷号: 30.0, 期号: 023, 页码: 1
作者:
孙瑜
;
夏幼明
;
李志平
  |  
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2023/12/04
多Agent系统
形式化模型
交互
完全性
推理
一致性
证明
信息特征
逻辑
体系
交互机算模型概述
期刊论文
OAI收割
计算机研究与发展, 2002, 卷号: 39, 期号: 6, 页码: 701
作者:
付岩
;
黄铁军
;
余珂
;
李涛
;
张浩
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2023/12/04
交互
算法
图灵机
计算模型
逻辑
可视化软件体系结构描述工具XYZ/ADL的设计与实现
期刊论文
OAI收割
重庆师范学院学报(自然科学版), 2001, 卷号: 18, 期号: 2, 页码: 1-6
张广泉
;
骆华俊
;
郑建丹
  |  
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2011/07/29
时态逻辑
软件体系结构
体系结构描述工具
可视化
软件体系结构
描述工具
体系结构设计
模块化程序
逐步过渡
图形表示
设计方法
设计单元
求精方法
逻辑语言
动态行为
抽象层次
语言能
连接件
交互端
组件
框架
基础
规范
关于“为设计认证协议的一个简明逻辑”一文的注记
期刊论文
OAI收割
软件学报, 2001, 卷号: 12, 期号: 11, 页码: 1581-1585
季庆光
;
冯登国
  |  
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2010/05/26
协议
交互攻击
安全性
模态逻辑
分析
移动计算形式理论分析与研究
期刊论文
OAI收割
计算机研究与发展, 2000, 卷号: 37, 期号: 2, 页码: 129-139
魏峻
;
冯玉琳
  |  
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2011/07/29
移动计算
形式方法
移动性
交互
位置
动态配置重构
移动计算
理论分析
形式模型
环境演算
网络计算平台
方法
态配置重构
移动环境
特征
时序逻辑
扩充模型
控制机制
技术发展
本质特点
新计算
代数类
资源
系统
位置
评价
可视化体系结构描述语言XYZ/ADL
期刊论文
OAI收割
软件学报, 2000, 卷号: 11, 期号: 8, 页码: 1024-1029
骆华俊
;
唐稚松
;
郑建丹
  |  
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2011/07/29
时序逻辑语言
软件体系结构
体系结构描述语言
组件
连接件
交互端
可视化
体系结构设计
时序逻辑语言
软件体系结构
结构描述语言
逐步过渡
统一框架
设计单元
静态语义
动态语义
连接件
交互端
组件
基础
可视化体系结构描述语言XYZ/ADL
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1999
骆华俊
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2011/03/17
XYZ系统
时序逻辑语言
软件体系结构
体系结构描述语言
组件
连接件
交互端
绑定
结构
交互系统及其基于XYZ/E的规范与逐步求精
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1998
郑小立
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2011/03/17
交互
算法
输入
输出
状态转换
交互对象
交互程序设计语言Li
开放系统
封闭系统
时间
人机交互
时序逻辑
不变式
XYZ系统
规范
验证
逐步求精