Zobrazeno 1 - 10
of 306
pro vyhledávání: '"SPIN model checker"'
Publikováno v:
IEEE Access, Vol 11, Pp 111846-111859 (2023)
The use of Underwater Sensor Networks (UWSN) for underwater ocean applications such as seismic event detection, target detection, marine resource monitoring, and oil bed monitoring is growing. In contrast to conventional WSNs, these networks communic
Externí odkaz:
https://doaj.org/article/8a6d3de80e324041a1832864a48dfa9e
Autor:
K.V Krishnamraju
Publikováno v:
International Journal of Industrial Engineering and Production Research, Vol 31, Iss 2, Pp 323-338 (2020)
Now a days majority of commerce is taken place in electronic form. The e commerce transactions can be happened mainly in three forms. They are C2C(customer to customer), B2B(Business to business) and B2C(business to customer). Out of these B2C type o
Externí odkaz:
https://doaj.org/article/51923aa34d3848c7b37339a806ce80e2
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.
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.
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.
Autor:
Ranjani Krishnan, V. R. Lalithambika
Publikováno v:
Journal of Aerospace Information Systems. 17:695-699
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.
Autor:
Masahiro Matsubara, Tatsuhiro Tsuchiya
Publikováno v:
IEICE Transactions on Information and Systems. :1794-1805
Publikováno v:
Automatika, Vol 61, Iss 2, Pp 312-324 (2020)
Automatika : časopis za automatiku, mjerenje, elektroniku, računarstvo i komunikacije
Volume 61
Issue 2
Automatika : časopis za automatiku, mjerenje, elektroniku, računarstvo i komunikacije
Volume 61
Issue 2
This paper presents a novel approach for automated analysis of process models discovered using process mining techniques. Process mining explores underlying processes hidden in the event data generated by various devices. Our proposed Inductive machi
Autor:
Eduardo V. L. Nunes, Antonio Eduardo Carrilho da Cunha, Lilian K. Carvalho, Thiago Monteiro Tuxi
Publikováno v:
IFAC-PapersOnLine. 53:256-262
In this work we propose a model checking approach to deal with the problem of the diagnosability verification. In this approach we consider the normal and the faulty behavior of a transition system (TS). We describe the diagnosability property by usi