high-level petri nets; nets-within-nets; reference nets; net components; renew; modeling; agents; multi-agent systems; paose;
机译:面向服务的软件工程,用于对网格系统中的代理和服务进行建模
机译:并发基于组件的软件系统中的检查点的高效建模和优化
机译:软件代理-替代软件开发类型的简介和概述-第2部分:自动化技术中的代理系统:对应用示例进行建模
机译:并发软件系统的代理模型
机译:用于实时数据库系统的基于语义的并发控制协议和分布式软件代理。
机译:座谈会论文自适应代理情报和新兴人类组织:通过基于代理的建模来捕获复杂性:软件代理和通往信息经济的途径
机译:并发软件系统的代理模型
机译:ada编译器验证摘要报告:证书编号:910711W1.11186 GsEGesellschaft fuer软件工程mbH meridian ada,版本4.1 Concurrent Computer Corp. m6000 => Concurrent Computer Corp. m6000型号6450,RTU 5.0C,型号6450,RTU 5.0