语义Web服务组合若干关键技术研究

本书根据Web服务组合的生命周期，展开语义Web服务组合关键技术研究，重点在：Web服务和Web服务组合的形式化模型，Web服务自动组合的推理算法，Web服务组合的正确性验证，Web服务组合的异常处理等四个方面进行了有效的...

软件体系结构的方法及开发技术研究

软件体系结构是从软件设计发展出来的一门新兴学科，目前已经成为软件工程的一个重要研究领域。本书主要论述了软件体系结构的方法和开发技术，既兼顾传统的和实用的软件框架开发方法，又包含软件体系结构的最新研...

多级门限服务轮询系统理论及应用研究

《多级门限服务轮询系统理论及应用研究》是一本讨论多队列顾客共享服务资源理论应用到实际生产生活中的理科类书籍。全书从综述多级门限服务轮询系统的理论研究入手，逐步深入，讨论了轮询系统、离散时间的多级...

矿山救护队训练与管理研究

本书收录了矿山救护队训练与管理研究方面的论文52篇。论文来源于国家应急救援中心的管理人员、院校的研究人员、救护指战员及企业安全工程技术人员，是对近几年我国矿山救护队训练与管理研究方面的总结，比较全...

绿色施工方案的编制与评价体系

基于综合价值分析的太阳能建筑激励体系研究

本书将太阳能建筑、综合价值和激励体系三个核心概念结合起来研究，使太阳能建筑综合价值分析和太阳能价值激励体系设计融为一体，使太阳能建筑激励体系设计建立在太阳能价值综合价值分析基础上，使太阳能价值激励...

移动计算环境信息服务系统优化研究

本书研究移动计算环境信息服务系统的优化问题。信息广播策略和信息缓存策略是制约信息服务系统效率最主要的两个因素。因此本书将分别从信息广播和信息缓存两个角度来研究信息系统的服务优化问题。本书研究...

计算机原理与体系结构

XDSL技术与体系结构

HACCP体系的建立实施与审核