Zobrazeno 1 - 6
of 6
pro vyhledávání: '"E. V. Bodin"'
Publikováno v:
Моделирование и анализ информационных систем, Vol 21, Iss 6, Pp 31-43 (2014)
The paper presents an approach to formal verification of multi-agent data analysis algorithms for ontology population. The system agents correspond to information items of the input data and the rule of ontology population and data processing. They d
Externí odkaz:
https://doaj.org/article/a49a01e1d46044adb7550d43a0d36669
Publikováno v:
Моделирование и анализ информационных систем, Vol 18, Iss 2, Pp 113-128 (2011)
We continue our study of multiagent algorithms for a problem that we call the Mars Robot Puzzle. This problem could be considered as a special case of a graph-theoretic problem (Discrete Mathematics), as a combinatorial geometry problem (Computer Sci
Externí odkaz:
https://doaj.org/article/4c60c0eed5cc4e9fbaeedddaf6455e60
Publikováno v:
Automatic Control and Computer Sciences. 49:420-429
The paper presents an approach to formal verification of multiagent data analysis algorithms for ontology population. The system agents correspond to information items of the input data and the rule of ontology population and data processing. They de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::76736a27c5fac9216ffe31a2b19820a7
https://doi.org/10.3103/s014641161507007x
https://doi.org/10.3103/s014641161507007x
Publikováno v:
Programming and Computer Software. 41:41-48
A distributed systems specification language Dynamic-REAL (dREAL) which extends the language Basic-REAL developed previously by dynamic constructs for generating and removing process instances is presented. A tool-set SRDSV2 (SDL/REAL Distributed Sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9da795046f8a71eb10e294f694135c4b
https://doi.org/10.1134/s0361768815010053
https://doi.org/10.1134/s0361768815010053
Publikováno v:
Programming and Computer Software. 34:307-321
Verification of imperative programs in the sense of Floyd-Hoare is an approach to proving correctness of programs annotated by preconditions, postconditions, and loop invariants. It is based on generation of correctness conditions. In the structured
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::201ee617e054f1367a41c1b509ccdd9b
https://doi.org/10.1134/s0361768808060029
https://doi.org/10.1134/s0361768808060029
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540437031
IFM
IFM
We suggest a three-level integrated approach to design, specification and verification of distributed system. The approach is based on a newly designed specification language Basic-REAL (bREAL) and comprises (I) translation of a high-level design of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b3e5f59db7309bb0c970bb5da47c3604
https://doi.org/10.1007/3-540-47884-1_5
https://doi.org/10.1007/3-540-47884-1_5
