Results 11 to 20 of about 48,451 (258)
Expressiveness of Metric modalities for continuous time [PDF]
Logical Methods in Computer Science, 2007 We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by the previous modalities, over the real line, or over the positive reals.
Yoram Hirshfeld, Alexander Rabinovich
doaj +1 more source
Temporal Analysis and Classification of Sensor Signals
Sensors, 2023 Understanding the behaviour of sensors, and in particular, the specifications of multisensor systems, are complex problems. The variables that need to be taken into consideration include, inter alia, the application domain, the way sensors are used, and ...
Piotr Kosiuczenko
doaj +1 more source
Specification Mining over Temporal Data
Computers, 2023 Current specification mining algorithms for temporal data rely on exhaustive search approaches, which become detrimental in real data settings where a plethora of distinct temporal behaviours are recorded over prolonged observations.
Giacomo Bergami +2 more
doaj +1 more source
Formalism-Driven Development: Concepts, Taxonomy, and Practice
Applied Sciences, 2022 Formal methods are crucial in program specification and verification. Instead of building cases to test functionalities, formal methods specify functionalities as properties and mathematically prove them. Nevertheless, the applicability of formal methods
Yepeng Ding, Hiroyuki Sato
doaj +1 more source
Mean-Payoff Games with ω-Regular Specifications
Games, 2022 Multi-player mean-payoff games are a natural formalism for modelling the behaviour of concurrent and multi-agent systems with self-interested players.
Julian Gutierrez +2 more
doaj +1 more source
Automata Linear Dynamic Logic on Finite Traces [PDF]
Logical Methods in Computer ScienceTemporal logics are widely used by the Formal Methods and AI communities. Linear Temporal Logic is a popular temporal logic and is valued for its ease of use as well as its balance between expressiveness and complexity.
Kevin W. Smith, Moshe Y. Vardi
doaj +1 more source
Indeterministic Temporal Logic
Studies in Logic, Grammar and Rhetoric, 2015 The questions od determinism, causality, and freedom have been the main philosophical problems debated since the beginning of temporal logic. The issue of the logical value of sentences about the future was stated by Aristotle in the famous tomorrow sea ...
Trzęsicki Kazimierz
doaj +1 more source
An Interval Temporal Logic for Time Series Specification and Data Integration
Remote Sensing, 2021 The analysis of temporal series—in particular, analysis of multisensor data—is a complex problem. It depends on the application domain, the way the data have to be used, and sensors available, among other factors.
Piotr Kosiuczenko
doaj +1 more source
MSI-A: An Energy Efficient Approximated Cache Coherence Protocol
IEEE Access, 2023 Energy consumption has become an essential factor in designing modern computer system architecture. Because of physical limits, the termination of Moore’s law and Dennard’s scaling has forced the computer design community to investigate new
Anant Saraswat +3 more
doaj +1 more source
Quickening Data-Aware Conformance Checking through Temporal Algebras
Information, 2023 A temporal model describes processes as a sequence of observable events characterised by distinguishable actions in time. Conformance checking allows these models to determine whether any sequence of temporally ordered and fully-observable events ...
Giacomo Bergami +2 more
doaj +1 more source