Results 41 to 50 of about 71,669 (311)
Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints
IEEE Access, 2022 A coloured Petri net (CPN) is widely used to model discrete event systems due to its compact representation of the system by colour sets associated with places, transitions and I/O arcs.
Kohei Fujita, Toshimitsu Ushio
doaj +1 more source
Temporal prepositions and their logic
Artificial Intelligence, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Revising the Classic Computing Paradigm and Its Technological Implementations
Informatics, 2021 Today’s computing is based on the classic paradigm proposed by John von Neumann, three-quarters of a century ago. That paradigm, however, was justified for (the timing relations of) vacuum tubes only. The technological development invalidated the classic
János Végh
doaj +1 more source
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Robust Linear Temporal Logic [PDF]
, 2016 Although it is widely accepted that every system should be robust, in the sense that "small" violations of environment assumptions should lead to "small" violations of system guarantees, it is less clear how to make this intuitive notion of robustness ...
Tabuada, Paulo, Neider, Daniel
core +1 more source
Design of the Sequential System Automata using Temporal Equivalence Classes [PDF]
Computer Science Journal of Moldova, 1997 A design method of sequential system automata using temporal logic specifications is proposed in this paper. The method is based on well-known Z.Manna and P.Wolper temporal logic satisfiability analysis procedure [1] and is extended to include past time ...
A. Ursu, G. Gruita, S. Zaporojan
doaj
On the Model Checking Problem for Some Extension of CTL*
Моделирование и анализ информационных систем, 2020 Sequential reactive systems include programs and devices that work with two streams of data and convert input streams of data into output streams. Such information processing systems include controllers, device drivers, computer interpreters.
Anton Romanovich Gnatenko +1 more
doaj +1 more source
Advanced Engineering Materials, EarlyView.Building machine‐readable vocabularies for materials science is slow, expert‐driven work. This study benchmarks 13 large language models on two of its first steps: finding candidate terms in engineering articles and deciding where they belong in a class hierarchy.
Thomas Bjarsch +3 more
wiley +1 more source
Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic [PDF]
, 1997 This paper explores a formalism for describing a wide class of multimedia document constraints. The formalism is based on an interval temporal logic. We describe the requirements on temporal logic specification that arise from the multimedia documents ...
Howard Bowman +8 more
core
Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects [PDF]
, 2005 We introduce Jeeg, a dialect of Java based on a declarative replacement of the synchronization mechanisms of Java that results in a complete decoupling of the 'business' and the 'synchronization' code of classes.
Giuseppe Milicia +3 more
core +1 more source