Beijing Institute of Technology, 5 South Zhongguancun Street, Haidian District, Beijing, China;
Beijing Institute of Technology, 5 South Zhongguancun Street, Haidian District, Beijing, China;
interaction protocol; temporal logic; authenticity;
机译:基于本体的语义的注释验证框架启用了Web服务
机译:语义Web服务组合的模型转换和形式验证
机译:通过语义集成交互式电视服务和Web
机译:验证语义Web服务的交互行为中的真实性
机译:弥合语义Web和RESTful Web Services之间的本体差距
机译:SSWAP:用于语义Web服务的简单语义Web体系结构和协议
机译:Web服务是一种新的分发和分发方法 协调基于语义的验证工具包
机译:使用Web本体语言的语义Web服务(OWL-s) - DaRpa代理标记语言(DamL)的代理服务规范