机构

• 软件研究所 [3]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [3]

发表日期

• 2007 [1]
• 2006 [1]
• 2005 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 一种WS-BPEL流程的运行时监控方法 期刊论文  OAI收割 电子学报, 2007, 卷号: 35, 期号: z2, 页码: 174-178 陈今梁; 吴国全; 魏峻   |  收藏  |  浏览/下载：27/0  |  提交时间：2011/07/01 WS-BPEL  运行时监控  面向方面编程  Past LTL  流程  运行  监控方法  Processes  Runtime  Oriented Programming  企业解决方案  中国科学院  自主研发  执行行为  有效监控  BPEL引擎  监控功能  动态监控  Language  service  自治性  执行期  研究所  灵活性Algorithms  Computer programming languages  Object oriented programming  Process monitoring  S   对一类多级安全模型安全性的形式化分析 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超   |  收藏  |  浏览/下载：27/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   基于领域本体的半结构化文本知识自动获取方法的设计和实现 期刊论文  OAI收割 计算机学报, 2005, 卷号: 28, 期号: 12, 页码: 2010-2018 王海涛; 曹存根; 高颖   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/07/28 文本知识获取  知识编程语言  虚拟机  多主体系统  领域本体  领域本体  半结构化  文本知识  知识自动获取  方法  设计  知识获取  知识编程语言  运行环境  手工劳动  中草药  虚拟机  通用性  全自动  参数化  应用  音乐  效率  西医Computer programming languages  Context free grammars  Multi agent systems  Natural language processing systems  Text processing