Results 251 to 260 of about 5,869 (280)
Some of the next articles are maybe not open access.
2007
We deal with the issue of realizability and computability of interactive interface behaviors as described in [1]. We treat the following aspects of interactive behaviors that are represented by relations between communication streams: --- Causality between input and output streams --- Realizability of single output histories for given input ...
openaire +2 more sources
We deal with the issue of realizability and computability of interactive interface behaviors as described in [1]. We treat the following aspects of interactive behaviors that are represented by relations between communication streams: --- Causality between input and output streams --- Realizability of single output histories for given input ...
openaire +2 more sources
Implicative Algebras: A New Foundation for Realizability and Forcing
Mathematical Structures in Computer Science, 2020Alexandre Miquel
exaly
Characterization of Unate Cascade Realizability Using Parameters
IEEE Transactions on Computers, 1975A K Choudhury
exaly
On Physical Realizability of Nonlinear Quantum Stochastic Differential Equations
Automatica, 2018Muhammad Fuady Emzir, Ian Petersen
exaly
An Automata-Theoretic Approach to Fair Realizability and Synthesis
Lecture Notes in Computer Science, 1995Moshe Vardi
exaly
Controllability, Observability, and Realizability of Matrix Lyapunov Systems
Bulletin of the Korean Mathematical Society, 2006G Suresh Kumar
exaly