Department of Computer Science, Western Michigan University, Kalamazoo, MI 49008, USA;
Department of Computer Science, Western Michigan University, Kalamazoo, MI 49008, USA;
Department of Computer Science, University of Wyoming, Laramie, WY 82071, USA;
Department of Computer Science, University of Wyoming, Laramie, WY 82071, USA;
web services; satisfiability modulo theories; symbolic analysis;
机译:Web服务异构消息的语义冲突检测:挑战和解决方案
机译:Web服务异构消息的语义冲突检测:挑战和解决方案科学出版物
机译:在消息级别上实现Web服务中本体驱动的语义冲突检测
机译:基于SMT的分析,对Web服务的消息竞现竞争检测
机译:使用SOAP消息的不同反序列化来优化Web服务的通信性能。
机译:ProBiS-2012:用于检测蛋白质中结构相似的结合位点的Web服务器和Web服务