机构

• 软件研究所 [11]
• 计算技术研究所 [2]
• 新疆理化技术研究所 [1]

采集方式

• OAI收割 [14]

内容类型

• 期刊论文 [12]
• 学位论文 [2]

发表日期

• 2019 [1]
• 2008 [1]
• 2006 [3]
• 2005 [1]
• 2003 [1]
• 2002 [3]
• 更多

学科主题

筛选

浏览/检索结果: 共14条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于子词信息的维吾尔语词项规范化 期刊论文  OAI收割 厦门大学学报(自然科学版), 2019, 卷号: 58, 期号: 2, 页码: 217-224 作者:  张新路;  王磊;  杨雅婷;  米成刚   |  收藏  |  浏览/下载：52/0  |  提交时间：2019/04/17 维吾尔语  自然语言处理  文本规范化  词嵌入   BPMN到BPEL2.0的模型转换方法 期刊论文  OAI收割 计算机应用研究, 2008, 卷号: 25, 期号: 11, 页码: 3363-3366 魏明; 夏永霖; 魏峻   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/06/10 业务流程管理  模型转换  业务流程建模符号  业务流程执行语言  模型  中国科学院  组件  转换方法  支持  实际运用  软件  建模工具  规范标准  工程中心  错误处理  研究所  可用性  语义  特性  适用  事务  设计  扩展  检验   对一类多级安全模型安全性的形式化分析 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超   |  收藏  |  浏览/下载：26/0  |  提交时间：2011/07/13 BLP模型  MLS策略  安全不变式  Z语言  Z/EVES定理证明器  多级安全模型  安全性  形式化分析  不变式  验证模型  形式化规范  验证工具  系统安全  策略  表述形式  分析表  语言  思想  理论  客体  方法Computer programming languages  Formal languages  Functions  Mathematical models  Security of data  Security systems  Specifications  Theorem prov   具有冲突约束的RBAC模型的形式化规范与证明 期刊论文  OAI收割 计算机研究与发展, 2006, 卷号: 43, 期号: z2 袁春阳; 贺也平; 何建波; 周洲仪   |  收藏  |  浏览/下载：10/0  |  提交时间：2010/08/23 基于角色的访问控制  形式化规范和证明  责任分离  冲突约束  Z语言   基于模型检查实现J2EE规范的实例研究 期刊论文  OAI收割 计算机科学, 2006, 卷号: 33, 期号: 12, 页码: 249-254 李彦; 张文博; 陈宁江   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/13 J2EE规范  模型检查  SPIN  基于模型  检查工具  规范要求  Model Checking  应用服务器  描述方式  设计方案  兼容性测试  形式化模型  分析与验证  自然语言  证明  使用模型  技术设计  规范描述  规范方法  多层应用  中科院  分布式  二义性   J2EE平台中分布式事务互操作的研究与实现 期刊论文  OAI收割 计算机科学, 2005, 卷号: 32, 期号: 7, 页码: 1-4,43 张勇; 胡剑军; 陈宁江   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/28 分布式事务  RMI-IIOP协议  J2EE应用服务器  事务互操作  平台  分布式  事务互操作  应用服务器  客户端和服务器  协议扩展  应用组件  调用  事务上下文  有效传播  体系结构  环境  服务框架  中科院  灵活性  语言  设计  软件  规范   一种将设计模式用于程序精化演算的并行程序设计方法研究 期刊论文  OAI收割 计算机研究与发展, 2003, 卷号: 40, 期号: 2, 页码: 318-324 万剑怡; 孙永强; 薛锦云   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/29 设计模式  精化演算  并行程序设计  设计模式  程序设计  精化演算  并行程序  方法研究  Refinement Calculus  Design Patterns  Method of  问题求解  设计方法  描述  扩充  并行开发  并行计算  形式化  知识  语言  体系  模型  规范   带有时钟变量的线性时序逻辑与实时系统验证 期刊论文  OAI收割 软件学报, 2002, 卷号: 13, 期号: 1 李广元; 唐稚松   |  收藏  |  浏览/下载：7/0  |  提交时间：2010/08/26 实时系统  时间自动机  线性时序逻辑  规范语言  系统描述语言  性质验证   基于XYZ/E描述和验证容错系统 期刊论文  OAI收割 软件学报, 2002, 卷号: 13, 期号: 5 郭亮; 唐稚松   |  收藏  |  浏览/下载：9/0  |  提交时间：2010/08/26 容错系统  时序逻辑语言XYZ/E  求精  容错转换  规范  验证   基于PVS的密码协议形式化规范 期刊论文  OAI收割 中国科学院研究生院学报, 2002, 卷号: 19.0, 期号: 003, 页码: 233 作者:  Zheng Yuan;  Hu Chengjun;  Lu Shuwang;  Shen Changxiang   |  收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04 密码协议  形式化规范  PVS  规范语言  规范方法  加密系统  语义编码方式