METRICS FOR EVALUATING CONSISTENCY IN DISTRIBUTED DATASTORES

Autor: Galyna Zholtkevych

Publikováno v: Сучасний стан наукових досліджень та технологій в промисловості, Iss 2 (12) (2020)

The subject of the paper is metrics for evaluating consistency of distributed datastore as one of main CAP-guarantees, more precisely, criteria for reliable distributed datastore. The goal of the research is investigation of the ability to develop su

Externí odkaz: https://doaj.org/article/af722197fe0e411b9b380e7af9ffa9c4

Two Semantic Models for Clock Relations in the Clock Constraint Specification Language

Autor: Grygoriy Zholtkevych, Galyna Zholtkevych, Frédéric Mallet, Iryna Zaretska

Publikováno v: Communications in Computer and Information Science
Ermolayev, Vadim and Mayr, Heinrich C. Communications in Computer and Information Science, 412, Springer, pp.190-209, 2013, Communications in Computer and Information Science, 978-3-319-03997-8. ⟨10.1007/978-3-319-03998-5_10⟩
Information and Communication Technologies in Education, Research, and Industrial Applications ISBN: 9783319039978

International audience; The Clock Constraint Specification Language (CCSL) has been defined as a formal companion language of the UML Profile for MARTE to allow defining causal and temporal constraints. This chapter attempts to refine the mathematica

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::41bb9d9345e3484f7f9074796b1487dd
https://hal.inria.fr/hal-00926297