机译:用于上下文感知规范方法的自动化上下文形式化
Litio Laboratory, University Oran1 Ahmed Ben Bella;
Litio Laboratory, University Oran1 Ahmed Ben Bella;
context-aware; Model-based verification; Requirement specification; UML interaction overview diagram; Use case;
机译:使用加固学习自动谈判的背景感知方法
机译:安全的上下文感知工作流程的规范和设计
机译:用于上下文感知系统规范和验证的正式框架
机译:上下文感知环境中可观察的基于上下文的用户意图规范
机译:从非正式规范到形式化:一种自动化的可视化方法。
机译:推荐合作办公楼中的工作场所:上下文感知多智能体系统支持的一种网络物理方法
机译:在智能环境中自动化日常任务。一种上下文感知模型驱动方法
机译:基于信息分布式信息(VoI)的任务自适应上下文信息管理和表示方法。