Reasoning about dynamic information displays

被引:0
|
作者
Campos, JC
Doherty, GJ
机构
[1] Univ Minho, Dept Informat, P-4710057 Braga, Portugal
[2] Univ Dublin Trinity Coll, Dept Comp Sci, Dublin 2, Ireland
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
With increasing use of computing systems while on the move and in constantly changing conditions, whether it is via mobile devices, wearable computers or embedded systems in the environment, time plays an increasingly important role in interaction. The way in which information is represented in an interface is fundamental to interaction with it, and how the information is used in the users tasks and activities. Dynamic representations where the user must perceive changes in the information displayed over time pose a further challenge to the designer. Very often this information is integrated with information from the environment in the performance of the user's tasks. The diminutive size and limited display capabilities of many ubiquitous and mobile computing devices further motivate careful design of these displays. In this paper we look at how time can be taken into account when reasoning about representational issues from the early stages of design. We look at a model which can be used to reason about these issues in a structured fashion, and apply it to an example.
引用
收藏
页码:288 / 302
页数:15
相关论文
共 50 条
  • [1] Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic
    Baltag, Alexandru
    Smets, Sonja
    [J]. APPLIED SCIENCES-BASEL, 2022, 12 (09):
  • [2] Reasoning about data and information
    Allo, Patrick
    [J]. SYNTHESE, 2009, 167 (02) : 231 - 249
  • [3] Reasoning about information change
    Gerbrandy J.
    Groeneveld W.
    [J]. Journal of Logic, Language and Information, 1997, 6 (2) : 147 - 169
  • [4] Reasoning about dynamic policies
    Pucella, R
    Weissman, V
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2004, 2987 : 453 - 467
  • [5] Reasoning about the impacts of information sharing
    Yuqing Tang
    Federico Cerutti
    Nir Oren
    Chatschik Bisdikian
    [J]. Information Systems Frontiers, 2015, 17 : 725 - 742
  • [6] REASONING ABOUT QUALITATIVE TEMPORAL INFORMATION
    VANBEEK, P
    [J]. ARTIFICIAL INTELLIGENCE, 1992, 58 (1-3) : 297 - 326
  • [7] Reasoning about the impacts of information sharing
    Tang, Yuqing
    Cerutti, Federico
    Oren, Nir
    Bisdikian, Chatschik
    [J]. INFORMATION SYSTEMS FRONTIERS, 2015, 17 (04) : 725 - 742
  • [8] Reasoning about Dynamic Depth Profiles
    Soutchanski, Mikhail
    Santos, Paulo
    [J]. ECAI 2008, PROCEEDINGS, 2008, 178 : 30 - +
  • [9] Representing and Reasoning about Dynamic Code
    Bartels, Jesse
    Stephens, Jon
    Debray, Saumya
    [J]. 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 312 - 323
  • [10] Reasoning about Dynamic Normative Systems
    Knobbout, Max
    Dastani, Mehdi
    Meyer, John-Jules Ch
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, 2014, 8761 : 628 - 636