...
机译:语义Web服务应用程序-现实检查
机译:正式技术,用于编码Web服务编排的一致性检查
机译:通过计划作为模型检查来为语义Web应用程序创建自动化计划
机译:通过模型检查技术进行语义Web服务组合
机译:为Web的公共用户部署语义服务:现实检查
机译:语义Web技术与模糊推理引擎的融合:Web服务和企业应用程序。
机译:SSWAP:用于语义Web服务的简单语义Web体系结构和协议
机译:为Web的普通用户部署语义服务:实际检查
机译:使用Web本体语言的语义Web服务(OWL-s) - DaRpa代理标记语言(DamL)的代理服务规范