首页> 外文学位 >Hybrid Cloud Model Checking Using the Interaction Layer of Harms for Ambient Assistive Living Environments

【24h】

Hybrid Cloud Model Checking Using the Interaction Layer of Harms for Ambient Assistive Living Environments

机译：在环境辅助生活环境中使用危害交互层进行混合云模型检查

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

作者
Gomez Morales, Mauricio Alejandro.;
展开▼
作者单位

Purdue University.;

展开▼
授予单位 Purdue University.;
学科 Robotics.;Artificial intelligence.
学位 Ph.D.
年度 2018
页码 170 p.
总页数 170
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Hybrid service matchmaking in ambient assisted living environments based on context-aware service modeling [J] . Urbieta Aitor, Gonzalez-Beltran Alejandra, Ben Mokhtar Sonia, Cluster computing . 2015,第3期

机译：基于上下文感知服务建模的环境辅助生活环境中的混合服务配对
2. Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living [J] . Magherini T., Fantechi A., Nugent C.D., Human-Machine Systems, IEEE Transactions on . 2013,第6期

机译：在环境辅助生活的人类活动的自动识别中使用时间逻辑和模型检查
3. Using RFID to Detect Interactions in Ambient Assisted Living Environments [J] . Parada Raul, Melia-Segui Joan, Morenza-Cinos Marc, Intelligent Systems, IEEE . 2015,第4期

机译：在环境辅助生活环境中使用RFID检测相互作用
4. Ontology for Modeling Interaction in Ambient Assisted Living Environments [C] . J.B. Mocholi, P. Sala, C. Fernandez-Llatas, 12th Mediterranean conference on medical and biological engineering and computing 2010 . 2010

机译：环境辅助生活环境中的交互建模本体
5. Aerosol-Cloud-Precipitation Interaction in Ultraclean Layers and Optically Thin Veil Cloud System in the Stratocumulus to Cumulus Transition: Remote Sensing Measurements and Cloud Resolving Model Results [D] . O, Kuan-Ting. 2019

机译：超薄层气溶云降水相互作用和划分为巨大转型的光学薄面纱云系统：遥感测量和云解析模型结果
6. A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions [O] . Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu 2019

机译：基于模型检查的环境辅助生活解决方案分析框架
7. A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions [O] . Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu 2019

机译：基于模型检查的框架，用于分析环境辅助生活解决方案

Hybrid Cloud Model Checking Using the Interaction Layer of Harms for Ambient Assistive Living Environments

著录项

相似文献

相关主题

期刊订阅