Matches in SemOpenAlex for { <https://semopenalex.org/work/W2801805545> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2801805545 abstract "Assessment of the running quality for internet of things (IoT) is an important scientific question. In this paper, we adopt model checking to solve this question. We extend living sequence chart (LSC) with time to model the demand for a system of IoT, and further add probability element to model the system itself. We present a framework to transform LSC with extensions into corresponding automata based on meta-model. So the model checking question between LSCs is changed into for automata. Through modifying and composing the obtained automata, we can obtain a standard probabilistic timed automaton. By inputting it into probabilistic model checker PRISM, we can calculate a probability, which reflecting the satisfying level of the original system to the demands. Since the system model which we use is more intuitive than classical formal model, it can be used more easily." @default.
- W2801805545 created "2018-05-17" @default.
- W2801805545 creator A5037160914 @default.
- W2801805545 creator A5045036903 @default.
- W2801805545 date "2018-01-01" @default.
- W2801805545 modified "2023-09-27" @default.
- W2801805545 title "Scenario-based trustworthiness verification for systems of internet of things" @default.
- W2801805545 doi "https://doi.org/10.1504/ijipt.2018.10012661" @default.
- W2801805545 hasPublicationYear "2018" @default.
- W2801805545 type Work @default.
- W2801805545 sameAs 2801805545 @default.
- W2801805545 citedByCount "0" @default.
- W2801805545 crossrefType "journal-article" @default.
- W2801805545 hasAuthorship W2801805545A5037160914 @default.
- W2801805545 hasAuthorship W2801805545A5045036903 @default.
- W2801805545 hasConcept C105795698 @default.
- W2801805545 hasConcept C110251889 @default.
- W2801805545 hasConcept C112505250 @default.
- W2801805545 hasConcept C154945302 @default.
- W2801805545 hasConcept C190812933 @default.
- W2801805545 hasConcept C30788636 @default.
- W2801805545 hasConcept C33923547 @default.
- W2801805545 hasConcept C41008148 @default.
- W2801805545 hasConcept C49937458 @default.
- W2801805545 hasConcept C80444323 @default.
- W2801805545 hasConceptScore W2801805545C105795698 @default.
- W2801805545 hasConceptScore W2801805545C110251889 @default.
- W2801805545 hasConceptScore W2801805545C112505250 @default.
- W2801805545 hasConceptScore W2801805545C154945302 @default.
- W2801805545 hasConceptScore W2801805545C190812933 @default.
- W2801805545 hasConceptScore W2801805545C30788636 @default.
- W2801805545 hasConceptScore W2801805545C33923547 @default.
- W2801805545 hasConceptScore W2801805545C41008148 @default.
- W2801805545 hasConceptScore W2801805545C49937458 @default.
- W2801805545 hasConceptScore W2801805545C80444323 @default.
- W2801805545 hasLocation W28018055451 @default.
- W2801805545 hasOpenAccess W2801805545 @default.
- W2801805545 hasPrimaryLocation W28018055451 @default.
- W2801805545 hasRelatedWork W1511196089 @default.
- W2801805545 hasRelatedWork W1854878948 @default.
- W2801805545 hasRelatedWork W1996360727 @default.
- W2801805545 hasRelatedWork W2014087257 @default.
- W2801805545 hasRelatedWork W2030659368 @default.
- W2801805545 hasRelatedWork W2060551079 @default.
- W2801805545 hasRelatedWork W2087521444 @default.
- W2801805545 hasRelatedWork W2112269757 @default.
- W2801805545 hasRelatedWork W2122670181 @default.
- W2801805545 hasRelatedWork W2138223825 @default.
- W2801805545 hasRelatedWork W2143456983 @default.
- W2801805545 hasRelatedWork W2216823090 @default.
- W2801805545 hasRelatedWork W2394006355 @default.
- W2801805545 hasRelatedWork W2547255959 @default.
- W2801805545 hasRelatedWork W2602814173 @default.
- W2801805545 hasRelatedWork W2889322863 @default.
- W2801805545 hasRelatedWork W2905500136 @default.
- W2801805545 hasRelatedWork W2953766856 @default.
- W2801805545 hasRelatedWork W2996306923 @default.
- W2801805545 hasRelatedWork W3124032321 @default.
- W2801805545 isParatext "false" @default.
- W2801805545 isRetracted "false" @default.
- W2801805545 magId "2801805545" @default.
- W2801805545 workType "article" @default.