科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
楚旺; 钱德沛;
西安交通大学;
计算机科学与技术系;
陕西;
西安;
710049;
体系结构; 构件模型; 构件可跟踪性; 形式化语义; 软件重用;
机译:致力于建立(小型)历史中心的语义形式化
机译:MDE框架中用于形式化的形式化可执行语义
机译:设计,形式化和评估用于集成服务交付的灵活体系结构:结合事件驱动和面向服务的体系结构
机译:基于组件的软件系统的一种以体系结构为中心的形式化演进过程
机译:以本体为中心的体系结构,用于在基于语义Web的电子商务环境中中介交互
机译:SSWAP:用于语义Web服务的简单语义Web体系结构和协议
机译:葡萄牙语WordNet:通用体系结构和内部语义关系葡萄牙语WordNet:通用体系结构和内部语义关系
机译:语义Web服务和面向语义服务的体系结构
机译:自动化系统形式化语义关系研究
机译:基于可扩展和容错的基于颜色中心的量子计算机体系结构以及用于制造基于颜色中心的量子计算机体系结构的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。