首页> 外文会议>IEEE International Conference on Software Engineering and Formal Methods >A Formal Model of Context-Awareness and Context-Dependency
【24h】

A Formal Model of Context-Awareness and Context-Dependency

机译:语境意识和上下文依赖性的正式模型

获取原文

摘要

The communication environment surrounding our daily experience is increasingly characterized by mobile devices that can exchange multimedia information and provide access to various services of complex nature. The trend is now clear that future consumer computing experience will be based on multiple pervasive communication devices and services, where navigability, context-sensitivity, adaptability and ubiquity are key characteristics. Several issues have been studied, models and methodologies proposed, and tools and systems implemented. However, we look at the foundation, where some of the most relevant issues probably are a formal model of context-awareness and context-dependency. In this paper, we discuss a formal foundation and software engineering techniques for mobile context-aware and context-dependent service derivation and application development, emphasizing the relationships between context and system.
机译:围绕我们日常经验的通信环境越来越越来越越来越多地描述,这些移动设备可以交换多媒体信息,并提供对复杂性质的各种服务的访问。现在,趋势清楚,未来的消费者计算经验将基于多个普遍的通信设备和服务,其中导航性,上下文敏感性,适应性和ubiquity是关键特性。已经研究了几个问题,提出的模型和方法,并实施了工具和系统。但是,我们看看基础,其中一些最相关的问题可能是语境意识和上下文依赖的正式模型。在本文中,我们讨论了用于移动上下文感知和上下文的服务派生和应用程序开发的正式基础和软件工程技术,强调上下文和系统之间的关系。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号