机构

• 软件研究所 [2]
• 沈阳自动化研究所 [1]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [3]

发表日期

• 2011 [1]
• 2006 [1]
• 2005 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于双向多路径的工业无线传感器网络路由维护机制 期刊论文  OAI收割 小型微型计算机系统, 2011, 卷号: 32, 期号: 6, 页码: 1094-1098 作者:  曾鹏;  肖金超 收藏  |  浏览/下载：18/0  |  提交时间：2012/05/29 路由维护  多路径路由  无线传感器网络  工业无线  维护机制  关节点  路由协议  准确率  检测时间  网关   使用SPEC#开发高可靠性的算法程序 期刊论文  OAI收割 计算机工程与应用, 2006, 卷号: 42, 期号: 12, 页码: 114-117,130 郑宇军; 马燕; 薛锦云   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/13 SPEC#  形式化方法  算法程序  契约  开发  高可靠性  软件自动化  对象不变式  契约机制  可维护性  基本特性  后置条件  程序规约  形式化  可读性  语言  前置  描述   R2M3:一种基于域的中间件资源管理机制 期刊论文  OAI收割 电子学报, 2005, 卷号: 33, 期号: z1, 页码: 2391-2395 张文博; 陈宁江; 魏峻; 黄涛   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/28 Web应用服务器  资源管理  资源合约  中间件  资源管理机制  Middleware  Resource Management  资源冲突  Web应用服务器  资源视图  资源合约  原型实现  性能需求  维护应用  管理设施  服务能力  处理应用  冲突问题  最大化  源紧张  协调器  运行  系统Contracts  Evaluation  Management  Mathematical models  Optimization  Resource allocation  Scheduling  Servers