Abstract

Abstract
Fuzziness, as a way to express imprecision, or uncertainty, in computation is an important feature in a number of current application scenarios: from hybrid systems interfacing with sensor networks with error boundaries, to knowledge bases collecting data from often non-coincident human experts. Their abstraction in e.g. fuzzy transition systems led to a number of mathematical structures to model this sort of systems and reason about them. This paper adds two more elements to this family: two modal logics, framed as institutions, to reason about fuzzy transition systems and the corresponding processes. This paves the way to the development, in the second part of the paper, of an associated theory of structured specification for fuzzy computational systems.

Abstract
Secure deduplication allows removing duplicate content at third-party storage services while preserving the privacy of users' data. However, current solutions are built with strict designs that cannot be adapted to storage service and applications with different security and performance requirements. We present S2Dedup, a trusted hardware-based privacy-preserving deduplication system designed to support multiple security schemes that enable different levels of performance, security guarantees and space savings. An in-depth evaluation shows these trade-offs for the distinct Intel SGX-based secure schemes supported by our prototype. Moreover, we propose a novel Epoch and Exact Frequency scheme that prevents frequency analysis leakage attacks present in current deterministic approaches for secure deduplication while maintaining similar performance and space savings to state-of-the-art approaches.

Abstract
Objective The aim of the study was the development and evaluation of a Descriptive Cognitive Model (DCM) for the identification of three types of usability issues in a low-code development platform (LCDP). Background LCDPs raise the level of abstraction of software development by freeing end-users from implementation details. An effective LCDP requires an understanding of how its users conceptualize programming. It is necessary to identify the gap between the LCDP end-users' conceptualization of programming and the actions required by the platform. It is also relevant to evaluate how the conceptualization of the programming tasks varies according to the end-users' skills. Method DCMs are widely used in the description and analysis of the interaction between users and systems. We propose a DCM which we called PRECOG that combines task decomposition methods with knowledge-based descriptions and criticality analysis. This DCM was validated using empirical techniques to provide the best insight regarding the users' interaction performance. Twenty programmers (10 experts, 10 novices) were observed using an LCDP and their interactions were analyzed according to our DCM. Results The DCM correctly identified several problems felt by first-time platform users. The patterns of issues observed were qualitatively different between groups. Experts mainly faced interaction-related problems, while novices faced problems attributable to a lack of programming skills. Conclusion By applying the proposed DCM we were able to predict three types of interaction problems felt by first-time users of the LCDP. Application The method is applicable when it is relevant to identify possible interaction problems, resulting from the users' background knowledge being insufficient to guarantee a successful completion of the task at hand.

Abstract

Abstract
In recent years, there has been a growing need for measuring and understand how to foster Trust in technology. This need for understanding the trust factor, which potential transformed (in a short time) the way we work, learn and teach. It allowed us to realize that a simple technological tool per si can be a means to facilitate a task or an objective but not necessarily is a solution to create sustainable interactions. This sustainability comes together with the insurance that irrespective of the ability to monitor or control, we are willing to be vulnerable to another party’s actions based on the expectation that the other will perform a particular action important to us. We define Trust, as an attitude, an intention or behaviour. We see Trust as an interpersonal phenomenon that promotes social activities such as collaboration, sharing, or social capital creation. But also as a factor that facilitates interaction and participation in remote and networked contexts. Trust is an instrument that supports and regulates technological mediation processes, encourages technology interactions and continuous adoption. In this study’s scope, we seek to illustrate the state of the art of the different methodologies of analysis, design and reliable assessment of interactive systems. We were briefly contextualizing the problem and defining Trust from a Human-Computer Interaction point of view. Conclude with a reflection on how and how these practices can be pressing to develop more sustainable online mediation tools, which also encourage the participation of the actors involved. © 2021, Associacao Iberica de Sistemas e Tecnologias de Informacao. All rights reserved.