Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Pourvatan, Bahman"'
Autor:
Johansson, Bjarne, Pourvatan, Bahman, Moezkarimi, Zahra, Papadopoulos, Alessandro, Sirjani, Marjan
Publikováno v:
EPTCS 399, 2024, pp. 169-191
A potential problem that may arise in the domain of distributed control systems is the existence of more than one primary controller in redundancy plans that may lead to inconsistency. An algorithm called NRP FD is proposed to solve this issue by pri
Externí odkaz:
http://arxiv.org/abs/2403.18917
Autor:
Moradi, Fereidoun, Abbaspour Asadollah, Sara, Pourvatan, Bahman, Moezkarimi, Zahra, Sirjani, Marjan
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming June 2024 139
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Science of Computer Programming 1 July 2012 77(7-8):848-869
Publikováno v:
In Electronic Notes in Theoretical Computer Science 10 November 2009 255:137-158
Publikováno v:
Formal Aspects of Component Software (9783642272684); 2012, p237-258, 22p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Arbab, Farhad, Sirjani, Marjan, Pourvatan, Bahman, Rouhy, Nima
Publikováno v:
International Symposium on Fundamentals of Software Engineering; 2007, p412-422, 11p