bisimulation equivalence; client-server systems; process algebra; quality of service; algebraic semi-ring setup; bisimulation equivalence; client-server system; service cost; synchronous composition; synchronous process calculus;
机译:带有QoS感知服务选择的粒子群优化的成本Pi-演算视图
机译:测试,测试,1、2、3:注意:测试设备和测试服务供应商开发了仪器,方法和服务,以简化流程,缩短上市时间并降低设备OEM的成本。
机译:通过管理打印服务削减成本并改善流程
机译:用于服务成本的同步过程结石
机译:用于同步硬件组合的指令集过程演算。
机译:基于每次事件成本的医院信息系统的数据处理成本分配
机译:服务成本的同步过程微积分
机译:国防部自动化环境服务支持系统研究。附录G. 1975 - 80年国防部环境服务支持系统数据处理选项的成本