Výsledky vyhledávání - "CONSISTENCY (SOFTWARE ENGINEERING)"

Effective Serializability for Eventual Consistency

Autor: Brutschy, Lucas, Dimitrov, Dimitar, Müller, Peter, Vechev, Martin

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8dfd0aa61ea054966c61bbf5763d0708

Zobrazit plný text záznamu

Separate compilation and module extension

Autor: Crelier, Régis Bernard Joseph

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::418b9a4e8024e8f7538a0ccf731bb83a
https://hdl.handle.net/20.500.11850/141604

Zobrazit plný text záznamu

Types and consistency in combinatory algebras

Autor: Otth, Daniel

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c4ac67e7e3447448dcbe8b32c4ba0cb2

Zobrazit plný text záznamu

Ueberwachung von Konsistenzbedingungen

Autor: Gähler, Felix

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f29f906ed90b2283c2aa0f2ce52d0cd8

Zobrazit plný text záznamu

Large deductive databases with constraints

Autor: Wüthrich, Beat

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::2232c8ba902624f19d6dacea1f7ef94e

Zobrazit plný text záznamu

Konsistenzsicherung durch Verwaltung von Inkonsistenzen

Autor: Leikauf, Peter

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::0899d4dc734d21e9f57c591587604d04

Zobrazit plný text záznamu

Datenbankentwurf im Dialog: integrierte Beschreibung von Strukturen, Transaktionen und Konsistenz

Autor: Rebsamen, Jürg

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4de23be8f4c66e15e4ac9a9256584edf

Zobrazit plný text záznamu