形式化构建相关论文
针对制约面向服务架构发展的Web服务管理瓶颈问题，从服务管理的角度提出一种以服务为中心的面向服务架构，把服务资源系统的管理和演......
系统介绍国外中心语驱动短语结构语法(HPSG)的研究成果,包括理论思想的早期建立,形式化处理的后续完善,相关语言技术的实际应用,以......
