机译:基于双向反应式系统的上下文感知系统建模方法
Department of Software Technologies and Information Systems, Constantine 2 University, Constantine, Algeria;
Department of Software Technologies and Information Systems, Constantine 2 University, Constantine, Algeria;
Bigraphical Reactive Systems; Context-Aware Systems; Context-Awareness; Formal Modeling; Ubiquitous Computing;
机译:SLA驱动的建模和验证云系统:基于巨大的反应系统的方法
机译:基于个人模型测试上下文感知应用程序
机译:用于指定基于云的弹性系统及其行为的双向模型
机译:情色知识系统的巨大型号
机译:基于传记机的移动反应系统-编程模型及其实现。
机译:UAV培养行为建模使用跟踪大型反应系统
机译:SLA驱动的建模和验证云系统:基于巨大的反应系统的方法