An arithmetic theory of consistency enforcement

QR kód

An arithmetic theory of consistency enforcement

Consistency enforcement starts from a given program specification S and a static invariant I and aims to replace S by a slightly modified program specification SI that is provably consistent with respect to I. One formalization which suggests itself is to define SI as the greatest consistent special...

Teljes leírás

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Link Sebastian Schewe Klaus-Dieter
Dokumentumtípus:	Cikk
Megjelent:	2002
Sorozat:	Acta cybernetica 15 No. 3
Kulcsszavak:	Számítástechnika, Kibernetika
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/12686

Hasonló tételek

Distance functional dependencies in the presence of complex values
Szerző: Link Sebastian, et al.
Megjelent: (2004)

Functional dependencies over XML documents with DTDs
Szerző: Hartmann Sven, et al.
Megjelent: (2005)

An efficient method to reduce the size of consistent decision tables
Szerző: Demetrovics János, et al.
Megjelent: (2018)

Algorithm for constructing of university timetables and criterion of consistency of requirements
Szerző: Kreczmar Antoni
Megjelent: (1973)

Consistency Analysis of Distributed Ledgers in Fog-Enhanced Blockchains
Szerző: Kertész Attila, et al.
Megjelent: (2022)

Fundamental concepts of object oriented databases
Szerző: Schewe Klaus-Dieter, et al.
Megjelent: (1993)

Limitations of rule triggering systems for integrity maintenance in the context of transition specifications
Szerző: Schewe Klaus-Dieter, et al.
Megjelent: (1998)

Keys and Armstrong databases in trees with restructuring
Szerző: Sali Attila, et al.
Megjelent: (2008)

A customised ASM thesis for database transformations
Szerző: Schewe Klaus-Dieter, et al.
Megjelent: (2010)

Weak functional dependencies on trees with restructuring
Szerző: Sali Attila, et al.
Megjelent: (2011)

Data-Driven Arithmetic Fuzzy Control Using the Distending Function
Szerző: Dombi József, et al.
Megjelent: (2020)

A parallel interval arithmetic-based reliable computing method on a GPU
Szerző: Bagóczki Zsolt, et al.
Megjelent: (2017)

Prospects on solving an optimal control problem with bounded uncertainties on parameters using interval arithmetic
Szerző: Bertin Etienne, et al.
Megjelent: (2021)

Robust Rule Based Neural Network Using Arithmetic Fuzzy Inference System
Szerző: Dombi József, et al.
Megjelent: (2022)

Implicit renewal theory in the arithmetic case
Szerző: Kevei Péter
Megjelent: (2017)

Hybrid concurrency control and recovery for multi-level transactions
Szerző: Schewe Klaus-Dieter, et al.
Megjelent: (2000)

A representation of a class of quasi-arithmetic means using a unary modifier operator
Szerző: Dombi József, et al.
Megjelent: (2024)

On some open problems of applied automaton theory and graph theory suggested by the mathematical modelling of certain neuronal networks /
Szerző: Ádám András
Megjelent: (1977)

Radical theory for group semiautomata
Szerző: Fong Yuen, et al.
Megjelent: (1994)

Zur Theorie kommutativer Automaten
Szerző: Duske Jürgen
Megjelent: (1976)

Strategy selection in the resolution theory [abstract] /
Szerző: Jánvári Gusztáv
Megjelent: (2000)

On consistent lattices
Szerző: Walendziak Andrzej
Megjelent: (1994)

A note on the axiomatization of iteration theories
Szerző: Ésik Zoltán
Megjelent: (1990)

Different methodological approaches of game theory [absztrakt] /
Szerző: Kuba Péter
Megjelent: (2009)

Enforcement of Contracts in Serbia
Szerző: Doklestic Slobodan, et al.
Megjelent: (2009)

Logical foundations for a general theory of systems
Szerző: Gergely Tamás, et al.
Megjelent: (1975)

A classification scheme for bin packing theory
Szerző: Coffman Edward G., et al.
Megjelent: (2007)

Automaton theory approach for solving modified PNS problems
Szerző: Imreh Balázs
Megjelent: (2002)

A Theory for Measuring the Preference of Fuzzy Numbers
Szerző: Dombi József, et al.
Megjelent: (2020)

A theory of finite functions, part I. on finite trees associated to certain finite functions /
Szerző: Ecsedi-Tóth Péter
Megjelent: (1983)

Theory of preference modelling for communities in scale-free networks
Szerző: Dombi József, et al.
Megjelent: (2021)

On minimal autonomous partitions of directed graphs and some applications to automata theory
Szerző: Kloss Boris B.
Megjelent: (1988)

Advances in the Theory of Probabilistic and Fuzzy Data Scientific Methods with Applications
Szerző: Dombi József, et al.
Megjelent: (2021)

Overview of an abstract fixed point theory for non-monotonic functions and its applications to logic programming
Szerző: Charalambidis Angelos, et al.
Megjelent: (2017)

On the consisting of mathematical axiom systems
Szerző: Kalmár László

Difficulties of enforcing environmental regulations in China
Szerző: Uhrin Ákos
Megjelent: (2015)

TAPSOFT '87 Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 1987. [könyvismertetés] /
Szerző: Vágvölgyi Sándor
Megjelent: (1988)

Modeling and Optimizing for NP-hard Problems in Graph Theory
Szerző: Anaqreh Ahmad
Megjelent: (2024)

Turing - Berechbarkeit in linearer Zeit
Szerző: Wagner Klaus
Megjelent: (1975)

Modeling Probability Weighting Functions in Prospect Theory using a Class of Modifier Operators of Continuous-valued Logic
Szerző: Dombi József, et al.
Megjelent: (2019)