In previous work, we presented TACO, a tool for efficient bounded verification. TACO translates programs annotated with contracts to a SAT problem which is then solved resorting to off-the-shelf SAT-solvers. TACO may deem ...

In this paper, feature combinations associated with the most commonly used time functions related to the signing process are analyzed, in order to provide some insight on their actual discriminative power for online signature ...

The objective of the research was to study the immediacy in the dissemination of news in digital media and its verification process. The text presents a theoretical framework on journalism, how its insertion in the digital ...

While services for fact-checking and verification to counter fake news in social media have increased, little research has investigated how journalists and the public perceive such services. This study reflects the outcomes ...

Abstract. This paper addresses the problem of speaker verification in two speaker conversations, proposing a set of confidence measures to assess the quality of a given speaker segmentation. We study how these measures ...

Translation of Annotated COde (TACO) is a SAT-based tool for bounded verification of Java programs. One challenge many formal tools share is to provide a practical interface for a non-proficient user. In this article, we ...