Matches in SemOpenAlex for { <https://semopenalex.org/work/W3199792467> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W3199792467 endingPage "8291" @default.
- W3199792467 startingPage "8291" @default.
- W3199792467 abstract "Widespread access to low-cost, high computing power allows for increased computerization of everyday life. However, high-performance computers alone cannot meet the demands of systems such as the Internet of Things or multi-agent robotic systems. For this reason, modern design methods are needed to develop new and extend existing projects. Because of high interest in this subject, many methodologies for designing the aforementioned systems have been developed. None of them, however, can be considered the default one to which others are compared to. Any useful methodology must provide some tools, versatility, and capability to verify its results. This paper presents an algorithm for verifying the correctness of multi-agent systems modeled as tracking bigraphical reactive systems and checking whether a behavior policy for the agents meets non-functional requirements. Memory complexity of methods used to construct behavior policies is also discussed, and a few ways to reduce it are proposed. Detailed examples of algorithm usage have been presented involving non-functional requirements regarding time and safety of behavior policy execution." @default.
- W3199792467 created "2021-09-27" @default.
- W3199792467 creator A5067090615 @default.
- W3199792467 creator A5075483657 @default.
- W3199792467 date "2021-09-07" @default.
- W3199792467 modified "2023-09-26" @default.
- W3199792467 title "Design and Verification of Multi-Agent Systems with the Use of Bigraphs" @default.
- W3199792467 cites W1560985252 @default.
- W3199792467 cites W1833548343 @default.
- W3199792467 cites W1982603963 @default.
- W3199792467 cites W2014791394 @default.
- W3199792467 cites W2026751635 @default.
- W3199792467 cites W2061836133 @default.
- W3199792467 cites W2099618002 @default.
- W3199792467 cites W2116355936 @default.
- W3199792467 cites W2130891285 @default.
- W3199792467 cites W2140929789 @default.
- W3199792467 cites W2158422857 @default.
- W3199792467 cites W2340390498 @default.
- W3199792467 cites W2460834910 @default.
- W3199792467 cites W2619273670 @default.
- W3199792467 cites W2768996430 @default.
- W3199792467 cites W2799899844 @default.
- W3199792467 cites W2998882519 @default.
- W3199792467 cites W2999237103 @default.
- W3199792467 cites W2999395117 @default.
- W3199792467 cites W3008176942 @default.
- W3199792467 cites W3009077467 @default.
- W3199792467 cites W3018663332 @default.
- W3199792467 cites W3088289269 @default.
- W3199792467 cites W3123618603 @default.
- W3199792467 cites W3166816823 @default.
- W3199792467 cites W4294621147 @default.
- W3199792467 doi "https://doi.org/10.3390/app11188291" @default.
- W3199792467 hasPublicationYear "2021" @default.
- W3199792467 type Work @default.
- W3199792467 sameAs 3199792467 @default.
- W3199792467 citedByCount "1" @default.
- W3199792467 countsByYear W31997924672023 @default.
- W3199792467 crossrefType "journal-article" @default.
- W3199792467 hasAuthorship W3199792467A5067090615 @default.
- W3199792467 hasAuthorship W3199792467A5075483657 @default.
- W3199792467 hasBestOaLocation W31997924671 @default.
- W3199792467 hasConcept C112930515 @default.
- W3199792467 hasConcept C115903868 @default.
- W3199792467 hasConcept C120314980 @default.
- W3199792467 hasConcept C199360897 @default.
- W3199792467 hasConcept C2780801425 @default.
- W3199792467 hasConcept C41008148 @default.
- W3199792467 hasConcept C55439883 @default.
- W3199792467 hasConcept C71924100 @default.
- W3199792467 hasConceptScore W3199792467C112930515 @default.
- W3199792467 hasConceptScore W3199792467C115903868 @default.
- W3199792467 hasConceptScore W3199792467C120314980 @default.
- W3199792467 hasConceptScore W3199792467C199360897 @default.
- W3199792467 hasConceptScore W3199792467C2780801425 @default.
- W3199792467 hasConceptScore W3199792467C41008148 @default.
- W3199792467 hasConceptScore W3199792467C55439883 @default.
- W3199792467 hasConceptScore W3199792467C71924100 @default.
- W3199792467 hasIssue "18" @default.
- W3199792467 hasLocation W31997924671 @default.
- W3199792467 hasOpenAccess W3199792467 @default.
- W3199792467 hasPrimaryLocation W31997924671 @default.
- W3199792467 hasRelatedWork W1516169988 @default.
- W3199792467 hasRelatedWork W1517743118 @default.
- W3199792467 hasRelatedWork W1985198438 @default.
- W3199792467 hasRelatedWork W2024218563 @default.
- W3199792467 hasRelatedWork W2072806201 @default.
- W3199792467 hasRelatedWork W2281090687 @default.
- W3199792467 hasRelatedWork W2965845133 @default.
- W3199792467 hasRelatedWork W4312205422 @default.
- W3199792467 hasRelatedWork W1602178951 @default.
- W3199792467 hasRelatedWork W1670831115 @default.
- W3199792467 hasVolume "11" @default.
- W3199792467 isParatext "false" @default.
- W3199792467 isRetracted "false" @default.
- W3199792467 magId "3199792467" @default.
- W3199792467 workType "article" @default.