FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2785192168> ?p ?o ?g. }

• W2785192168 endingPage "311" @default.
• W2785192168 startingPage "289" @default.
• W2785192168 abstract "We present the use of a novel spatio-temporal model checker to detect problems in the data and operation of a collective adaptive system. Data correctness is important to ensure operational correctness in systems which adapt in response to data. We illustrate the theory with several concrete examples, addressing both the detection of errors in vehicle location data for buses in the city of Edinburgh and the undesirable phenomenon of “clumping” which occurs when there is not enough separation between subsequent buses serving the same route. Vehicle location data are visualised symbolically on a street map, and categories of problems identified by the spatial part of the model checker are rendered by highlighting the symbols for vehicles or other objects that satisfy a property of interest. Behavioural correctness makes use of both the spatial and temporal aspects of the model checker to determine from a series of observations of vehicle locations whether the system is failing to meet the expected quality of service demanded by system regulators." @default.
• W2785192168 created "2018-02-02" @default.
• W2785192168 creator A5000114432 @default.
• W2785192168 creator A5007314744 @default.
• W2785192168 creator A5049253314 @default.
• W2785192168 creator A5049483818 @default.
• W2785192168 creator A5069085203 @default.
• W2785192168 creator A5082534511 @default.
• W2785192168 date "2018-01-24" @default.
• W2785192168 modified "2023-10-03" @default.
• W2785192168 title "Spatio-temporal model checking of vehicular movement in public transport systems" @default.
• W2785192168 cites W1500091283 @default.
• W2785192168 cites W1530375570 @default.
• W2785192168 cites W1705718777 @default.
• W2785192168 cites W1888172192 @default.
• W2785192168 cites W1920235616 @default.
• W2785192168 cites W1964514022 @default.
• W2785192168 cites W1971112469 @default.
• W2785192168 cites W1973652588 @default.
• W2785192168 cites W1974730038 @default.
• W2785192168 cites W2000138546 @default.
• W2785192168 cites W2006691338 @default.
• W2785192168 cites W2014983411 @default.
• W2785192168 cites W2034628819 @default.
• W2785192168 cites W2060408509 @default.
• W2785192168 cites W2089577733 @default.
• W2785192168 cites W2090672779 @default.
• W2785192168 cites W2111961236 @default.
• W2785192168 cites W2118948416 @default.
• W2785192168 cites W2125990328 @default.
• W2785192168 cites W2147014452 @default.
• W2785192168 cites W2161235182 @default.
• W2785192168 cites W2167998587 @default.
• W2785192168 cites W2176746552 @default.
• W2785192168 cites W2234073770 @default.
• W2785192168 cites W2463579057 @default.
• W2785192168 cites W2527872501 @default.
• W2785192168 cites W2560561644 @default.
• W2785192168 cites W2740038983 @default.
• W2785192168 cites W2963017542 @default.
• W2785192168 cites W4233076421 @default.
• W2785192168 cites W86222690 @default.
• W2785192168 doi "https://doi.org/10.1007/s10009-018-0483-8" @default.
• W2785192168 hasPublicationYear "2018" @default.
• W2785192168 type Work @default.
• W2785192168 sameAs 2785192168 @default.
• W2785192168 citedByCount "35" @default.
• W2785192168 countsByYear W27851921682018 @default.
• W2785192168 countsByYear W27851921682019 @default.
• W2785192168 countsByYear W27851921682020 @default.
• W2785192168 countsByYear W27851921682021 @default.
• W2785192168 countsByYear W27851921682022 @default.
• W2785192168 countsByYear W27851921682023 @default.
• W2785192168 crossrefType "journal-article" @default.
• W2785192168 hasAuthorship W2785192168A5000114432 @default.
• W2785192168 hasAuthorship W2785192168A5007314744 @default.
• W2785192168 hasAuthorship W2785192168A5049253314 @default.
• W2785192168 hasAuthorship W2785192168A5049483818 @default.
• W2785192168 hasAuthorship W2785192168A5069085203 @default.
• W2785192168 hasAuthorship W2785192168A5082534511 @default.
• W2785192168 hasBestOaLocation W27851921682 @default.
• W2785192168 hasConcept C100463513 @default.
• W2785192168 hasConcept C110251889 @default.
• W2785192168 hasConcept C120314980 @default.
• W2785192168 hasConcept C136264566 @default.
• W2785192168 hasConcept C154945302 @default.
• W2785192168 hasConcept C162324750 @default.
• W2785192168 hasConcept C199360897 @default.
• W2785192168 hasConcept C24858836 @default.
• W2785192168 hasConcept C25016198 @default.
• W2785192168 hasConcept C2780378061 @default.
• W2785192168 hasConcept C41008148 @default.
• W2785192168 hasConcept C55439883 @default.
• W2785192168 hasConcept C79403827 @default.
• W2785192168 hasConcept C80444323 @default.
• W2785192168 hasConceptScore W2785192168C100463513 @default.
• W2785192168 hasConceptScore W2785192168C110251889 @default.
• W2785192168 hasConceptScore W2785192168C120314980 @default.
• W2785192168 hasConceptScore W2785192168C136264566 @default.
• W2785192168 hasConceptScore W2785192168C154945302 @default.
• W2785192168 hasConceptScore W2785192168C162324750 @default.
• W2785192168 hasConceptScore W2785192168C199360897 @default.
• W2785192168 hasConceptScore W2785192168C24858836 @default.
• W2785192168 hasConceptScore W2785192168C25016198 @default.
• W2785192168 hasConceptScore W2785192168C2780378061 @default.
• W2785192168 hasConceptScore W2785192168C41008148 @default.
• W2785192168 hasConceptScore W2785192168C55439883 @default.
• W2785192168 hasConceptScore W2785192168C79403827 @default.
• W2785192168 hasConceptScore W2785192168C80444323 @default.
• W2785192168 hasIssue "3" @default.
• W2785192168 hasLocation W27851921681 @default.
• W2785192168 hasLocation W27851921682 @default.
• W2785192168 hasLocation W27851921683 @default.
• W2785192168 hasOpenAccess W2785192168 @default.
• W2785192168 hasPrimaryLocation W27851921681 @default.
• W2785192168 hasRelatedWork W1589840570 @default.
• W2785192168 hasRelatedWork W1764099364 @default.
• W2785192168 hasRelatedWork W1976513602 @default.

• next