Zobrazeno 1 - 10
of 26
pro vyhledávání: '"logical specification"'
Autor:
V. N. Glushkova, K. S. Korovina
Publikováno v:
Advanced Engineering Research, Vol 20, Iss 4, Pp 422-429 (2020)
Introduction. Verification packages design and analyze the correctness of parallel and distributed systems within the framework of various classes of temporal logics of linear and branching time. The paper discusses a polynomially realizable class of
Externí odkaz:
https://doaj.org/article/5a3a5adaf3be4565ac7ee865cc0238b1
Publikováno v:
Open Engineering, Vol 8, Iss 1, Pp 132-139 (2018)
We describe the language LLS-1 for logical specifying ontologies written in “Binary Model of Knowledge” (BMK). BMK is the system intended for specifying heavy-weight ontologies by means of conceptual-type languages. The language LLS-1 has a user-
Externí odkaz:
https://doaj.org/article/38ded965c8994d72a25cefa786b1e92d
Autor:
K. S. Korovina, V. N. Glushkova
Publikováno v:
Advanced Engineering Research, Vol 20, Iss 4, Pp 422-429 (2020)
Introduction. Verification packages design and analyze the correctness of parallel and distributed systems within the framework of various classes of temporal logics of linear and branching time. The paper discusses a polynomially realizable class of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8fcdebff70cde26648d9ddda887a651
https://doi.org/10.23947/2687-1653-2020-20-4-422-429
https://doi.org/10.23947/2687-1653-2020-20-4-422-429
Publikováno v:
Open Engineering, Vol 8, Iss 1, Pp 132-139 (2018)
We describe the language LLS-1 for logical specifying ontologies written in “Binary Model of Knowledge” (BMK). BMK is the system intended for specifying heavy-weight ontologies by means of conceptual-type languages. The language LLS-1 has a user-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8bc26ce2449a93f5dc4d4d02311f1582
https://doi.org/10.1515/eng-2018-0017
https://doi.org/10.1515/eng-2018-0017
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:
Banks, Christopher Jon
Process algebra, formal specification, and model checking are all well studied techniques in the analysis of concurrent computer systems. More recently these techniques have been applied to the analysis of biochemical systems which, at an abstract le
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______463::c70acfb66730f3f44b202bbe1d7ffaf3
http://hdl.handle.net/1842/10512
http://hdl.handle.net/1842/10512
Autor:
Gianna Reggio, Christine Choppy
Publikováno v:
The Journal of Logic and Algebraic Programming. 67(1-2):52-86
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of successful developments. This goal was addressed both from informal ap
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5231d3d1fce16032d7e1047db7caa8fe
Autor:
Laurent Trilling
Publikováno v:
Sciences et techniques éducatives. 3:157-162
Project Mentoniezh (geometry in breton language) started at IRISA (Institut de recherches en Informatique et Systèmes Aléatoires) during the eighties. It was launched by teachers and by computer science people interested in Artificial Intelligence.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::90b066aaa78c895c298c5a3007213241
https://doi.org/10.3406/stice.1996.1294
https://doi.org/10.3406/stice.1996.1294
Publikováno v:
2010 Grande Region Security and Reliability Day
2010 Grande Region Security and Reliability Day, Mar 2010, Saarbrücken, Germany
2010 Grande Region Security and Reliability Day, Mar 2010, Saarbrücken, Germany
International audience; Security policies are ubiquitous in information systems and more generally in the management of sensitive information. Access control policies are probably the most largely used policies but their application goes well beyond
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a70047586f86aaf0e189289306df1197
https://inria.hal.science/inria-00429240
https://inria.hal.science/inria-00429240
Conference
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.