机译:开发多主体系统的声明性规范
208, International Computer Institute, EGE University, Bornova, Izmir-Turkey;
Faculty of Electrical Engineering and Computer Science, University of Maribor, Maribor, Slovenia;
International Computer Institute, Ege University, Izmir, Turkey;
Faculty of Electrical Engineering and Computer Science, University of Maribor, Maribor, Slovenia;
Domain-specific language; Multi-agent system; Semantic Web; Formal semantics; Declarative specifications;
机译:基于声明性规范的血统模型,用于血液治疗信息系统中的大量数据分析
机译:基于信任的多代理系统的规范和自动验证
机译:基于逻辑的规范和均匀动态多代理系统的验证
机译:促进规范捕获和转换过程在多助理系统的开发中
机译:演化网络服务的声明性规范。
机译:声明性模型规范系统,允许NeuroML扩展为用户定义的组件类型
机译:促进多Agent系统开发中的规范获取和转换过程
机译:促进多智能体系统开发中的规范捕获和转换过程