title: Supremica – An integrated environment for verification, synthesis and simulation of discrete event systems

authors: Akesson, Knut

subjects: computer science

abstract: An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a guard condition and an action function that updates automata variables. Supremica uses two main approaches to handle large state-spaces. The first approach exploits modularity in order to divide the original problem into many smaller problems that together solve the original problem. The second approach uses an efficient data structure, a binary decision diagram, to symbolically represent the reachable states. Models in Supremica may be simulated in the environment. It is also possible to generate code that implements the behavior of the model using both the IEC 61131 and the IEC 61499 standard.

text: Supremica – An integrated environment for verification, synthesis and simulation of discrete event systems An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a guard condition and an action function that updates automata variables. Supremica uses two main approaches to handle large state-spaces. The first approach exploits modularity in order to divide the original problem into many smaller problems that together solve the original problem. The second approach uses an efficient data structure, a binary decision diagram, to symbolically represent the reachable states. Models in Supremica may be simulated in the environment. It is also possible to generate code that implements the behavior of the model using both the IEC 61131 and the IEC 61499 standard.

year: 2006

title: eReader interface design for page-turning

authors: Vanderschantz, Nicholas

subjects: computer science

abstract: There remain numerous unanswered questions regarding how to design eReaders that are effective for the range of reading purposes required by readers. This broad research area requires the attention of HCI, design, and reading researchers alike. This paper begins to address the needs of readers when turning pages during reading in a digital book (eBook). Specifically, software-based page-turning features of eReading on a mobile device are investigated. A case study analysis of eReader software and hardware is presented and used to inform the design and testing of six page-turning methods for eReaders. Design recommendations for page-turning are provided.

text: eReader interface design for page-turning There remain numerous unanswered questions regarding how to design eReaders that are effective for the range of reading purposes required by readers. This broad research area requires the attention of HCI, design, and reading researchers alike. This paper begins to address the needs of readers when turning pages during reading in a digital book (eBook). Specifically, software-based page-turning features of eReading on a mobile device are investigated. A case study analysis of eReader software and hardware is presented and used to inform the design and testing of six page-turning methods for eReaders. Design recommendations for page-turning are provided.

year: 2018

title: The Māori Data Privacy Framework: How useful is it for hapū?

authors: Clark, Vanessa

abstract: This brief is a part of a series, produced for the Tikanga in Technology (TiNT) research programme, that provides a hapū perspective on data sovereignty, data governance, and data privacy. In this brief we focus on the Māori Data Privacy Framework developed by the TiNT team and assess how useful it is for hapū. To do so, we draw on a case study with Ngāti Tiipa, one of the 33 iwi and hapū of the Waikato confederation (Kukutai, Whitehead & Kani, 2022). This brief should be read in conjunction with TiNT Brief #2 Protecting hapū data privacy: A Ngāti Tiipa case study of technology considerations.

text: The Māori Data Privacy Framework: How useful is it for hapū? This brief is a part of a series, produced for the Tikanga in Technology (TiNT) research programme, that provides a hapū perspective on data sovereignty, data governance, and data privacy. In this brief we focus on the Māori Data Privacy Framework developed by the TiNT team and assess how useful it is for hapū. To do so, we draw on a case study with Ngāti Tiipa, one of the 33 iwi and hapū of the Waikato confederation (Kukutai, Whitehead & Kani, 2022). This brief should be read in conjunction with TiNT Brief #2 Protecting hapū data privacy: A Ngāti Tiipa case study of technology considerations.

year: 2025-02-11