HASLab - Indexed Articles in Conferences

Permanent URI for this collection


Recent Submissions

Now showing 1 - 5 of 338
  • Item
    A Logic for Paraconsistent Transition Systems
    ( 2022) Cruz,A ; Alexandre Castro Madeira ; Luís Soares Barbosa ; 5603 ; 5620
  • Item
    AIDA-DB: A Data Management Architecture for the Edge and Cloud Continuum
    ( 2022) Faria,N ; Costa,D ; José Orlando Pereira ; Ricardo Pereira Vilaça ; Ferreira,L ; Fábio André Coelho ; 6059 ; 5635 ; 5602
  • Item
    The High-Assurance ROS Framework
    ( 2021) Santos,A ; Alcino Cunha ; Nuno Moreira Macedo ; 5625 ; 5612
  • Item
    An oblivious observed-reset embeddable replicated counter
    ( 2022) Weidner,M ; Paulo Sérgio Almeida ; 5607
    Embedding CRDT counters has shown to be a challenging topic, since their introduction in Riak Maps. The desire for obliviousness, where all information about a counter is fully removed upon key removal, faces problems due to the possibility of concurrency between increments and key removals. Previous state-based proposals exhibit undesirable reset-wins semantics, which lead to losing increments, unsatisfactorily solved through manual generation management in the API. Previous operation-based approaches depend on causal stability, being prone to unbounded counter growth under network partitions. We introduce a novel embeddable operation-based CRDT counter which achieves both desirable observed-reset semantics and obliviousness upon resets. Moreover, it achieves this while merely requiring FIFO delivery, allowing a tradeoff between causal consistency and faster information propagation, being more robust under network partitions. © 2022 Owner/Author.
  • Item
    Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees
    ( 2021) José Creissac Campos ; António Nestor Ribeiro ; 5599 ; 5639
    This paper arises from experience by the authors in teaching software engineering courses. It discusses the need for adequate coverage of Human-Computer Interaction topics in these courses and the challenges faced when addressing them. Three courses, at both licentiate and master’s levels, are used as triggers for the discussion. The paper argues that the lack of relevant Human-Computer Interaction concepts creates challenges when teaching and learning requirements analysis, design, and implementation of software systems. The approaches adopted to address these challenges are described. © 2022, IFIP International Federation for Information Processing.