机构

• 软件研究所 [3]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [3]

发表日期

• 2006 [1]
• 2005 [2]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于模型检查实现J2EE规范的实例研究 期刊论文  OAI收割 计算机科学, 2006, 卷号: 33, 期号: 12, 页码: 249-254 李彦; 张文博; 陈宁江   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/07/13 J2EE规范  模型检查  SPIN  基于模型  检查工具  规范要求  Model Checking  应用服务器  描述方式  设计方案  兼容性测试  形式化模型  分析与验证  自然语言  证明  使用模型  技术设计  规范描述  规范方法  多层应用  中科院  分布式  二义性   J2EE平台中分布式事务互操作的研究与实现 期刊论文  OAI收割 计算机科学, 2005, 卷号: 32, 期号: 7, 页码: 1-4,43 张勇; 胡剑军; 陈宁江   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/28 分布式事务  RMI-IIOP协议  J2EE应用服务器  事务互操作  平台  分布式  事务互操作  应用服务器  客户端和服务器  协议扩展  应用组件  调用  事务上下文  有效传播  体系结构  环境  服务框架  中科院  灵活性  语言  设计  软件  规范   J2EE资源集成的性能优化研究 期刊论文  OAI收割 计算机科学, 2005, 卷号: 32, 期号: 5, 页码: 206-208,235 郑蕾; 官荷卿; 陈宁江   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/28 JCA  资源集成  连接池  事务管理  J2EE应用服务器  资源集成  系统性能  优化研究  Resource Integration  应用服务器  事务管理  企业资源系统  集成解决方案  自主开发  优化策略  连接管理  服务器端  安全管理  中科院  连接池  软件  框架  规范