Merging By Decentralized Eventual Consistency Algorithms

Journal title: EAI Endorsed Transactions on Collaborative Computing

Authors: Ahmed-Nacer Mehdi, Pascal Urso, François Charoy

Subject(s): Computer and Information Science, Computer Architecture, Data Communication and Networks

Context-aware approach for formal verification

Journal title: EAI Endorsed Transactions on Context-aware Systems and Applications

Authors: Amel Benabbou, Safia Nait Bahloul, Dhaussy Philippe

Subject(s): Computer and Information Science, Data Communication and Networks

АРХИТЕКТУРНО-ПЛАНИРОВОЧНОЕ РАЗВИТИЕ ПРИБРЕЖНЫХ ТЕРРИТОРИЙ НА ОЗЕРЕ БАЙКАЛ: ПО МАТЕРИАЛАМ МЕЖДУНАРОДНОГО СЕМИНАРА ИРГТУ ИРКУТСК-ТУ ВЕНА

Journal title: Izvestiya vuzov. Investitsii. Stroitelstvo. Nedvizhimost (Proceedings of Universities. Investment. Construction. Real estate)

Authors: Хромешкин В.М. , Дагданова И.Б. , Козлов В.В.

Subject(s): Engineering, Architecture

Article processing charges

Type

License

Index