Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913504600> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2913504600 endingPage "478" @default.
- W2913504600 startingPage "449" @default.
- W2913504600 abstract "A monitoring algorithm is trace-length independent if its space consumption does not depend on the number of events processed. The analysis of many monitoring algorithms has aimed at establishing their trace-length independence. But a monitor’s space consumption can depend on characteristics of the trace other than its size. We put forward the stronger notion of event-rate independence, where a monitor’s space usage does not depend on the event rate, i.e., the number of events in a fixed time unit. This property is critical for monitoring voluminous streams of events with a high arrival rate. We propose a new algorithm for metric temporal logic (MTL) that is almost event-rate independent, where “almost” denotes a logarithmic dependence on the event rate: the algorithm must store the event rate as a number. Afterwards, we investigate more expressive logics. In particular, we extend linear dynamic logic with past operators and metric features. The resulting metric dynamic logic (MDL) offers the quantitative temporal conveniences of MTL while increasing its expressiveness. We show how to modify our MTL algorithm in a modular way, yielding an almost event-rate independent monitor for MDL. Finally, we compare our algorithms with traditional monitoring approaches, providing empirical evidence that almost event-rate independence matters in practice." @default.
- W2913504600 created "2019-02-21" @default.
- W2913504600 creator A5025344654 @default.
- W2913504600 creator A5028440299 @default.
- W2913504600 creator A5046096733 @default.
- W2913504600 creator A5046106256 @default.
- W2913504600 date "2019-02-06" @default.
- W2913504600 modified "2023-10-06" @default.
- W2913504600 title "Almost event-rate independent monitoring" @default.
- W2913504600 cites W1502575381 @default.
- W2913504600 cites W1578302512 @default.
- W2913504600 cites W1966723394 @default.
- W2913504600 cites W1975120975 @default.
- W2913504600 cites W2026629052 @default.
- W2913504600 cites W2031188261 @default.
- W2913504600 cites W2033144652 @default.
- W2913504600 cites W2047923159 @default.
- W2913504600 cites W2069709605 @default.
- W2913504600 cites W2094985106 @default.
- W2913504600 cites W2113012730 @default.
- W2913504600 cites W2145394419 @default.
- W2913504600 cites W2156429182 @default.
- W2913504600 cites W2267240189 @default.
- W2913504600 cites W2269415044 @default.
- W2913504600 cites W2593263671 @default.
- W2913504600 cites W2801291729 @default.
- W2913504600 cites W2806619258 @default.
- W2913504600 cites W2885332205 @default.
- W2913504600 cites W2963943124 @default.
- W2913504600 doi "https://doi.org/10.1007/s10703-018-00328-3" @default.
- W2913504600 hasPublicationYear "2019" @default.
- W2913504600 type Work @default.
- W2913504600 sameAs 2913504600 @default.
- W2913504600 citedByCount "7" @default.
- W2913504600 countsByYear W29135046002019 @default.
- W2913504600 countsByYear W29135046002020 @default.
- W2913504600 countsByYear W29135046002021 @default.
- W2913504600 countsByYear W29135046002023 @default.
- W2913504600 crossrefType "journal-article" @default.
- W2913504600 hasAuthorship W2913504600A5025344654 @default.
- W2913504600 hasAuthorship W2913504600A5028440299 @default.
- W2913504600 hasAuthorship W2913504600A5046096733 @default.
- W2913504600 hasAuthorship W2913504600A5046106256 @default.
- W2913504600 hasBestOaLocation W29135046002 @default.
- W2913504600 hasConcept C105795698 @default.
- W2913504600 hasConcept C11413529 @default.
- W2913504600 hasConcept C121332964 @default.
- W2913504600 hasConcept C134306372 @default.
- W2913504600 hasConcept C138885662 @default.
- W2913504600 hasConcept C162324750 @default.
- W2913504600 hasConcept C176217482 @default.
- W2913504600 hasConcept C21547014 @default.
- W2913504600 hasConcept C2779662365 @default.
- W2913504600 hasConcept C33923547 @default.
- W2913504600 hasConcept C35651441 @default.
- W2913504600 hasConcept C39927690 @default.
- W2913504600 hasConcept C41008148 @default.
- W2913504600 hasConcept C41895202 @default.
- W2913504600 hasConcept C62520636 @default.
- W2913504600 hasConcept C75291252 @default.
- W2913504600 hasConceptScore W2913504600C105795698 @default.
- W2913504600 hasConceptScore W2913504600C11413529 @default.
- W2913504600 hasConceptScore W2913504600C121332964 @default.
- W2913504600 hasConceptScore W2913504600C134306372 @default.
- W2913504600 hasConceptScore W2913504600C138885662 @default.
- W2913504600 hasConceptScore W2913504600C162324750 @default.
- W2913504600 hasConceptScore W2913504600C176217482 @default.
- W2913504600 hasConceptScore W2913504600C21547014 @default.
- W2913504600 hasConceptScore W2913504600C2779662365 @default.
- W2913504600 hasConceptScore W2913504600C33923547 @default.
- W2913504600 hasConceptScore W2913504600C35651441 @default.
- W2913504600 hasConceptScore W2913504600C39927690 @default.
- W2913504600 hasConceptScore W2913504600C41008148 @default.
- W2913504600 hasConceptScore W2913504600C41895202 @default.
- W2913504600 hasConceptScore W2913504600C62520636 @default.
- W2913504600 hasConceptScore W2913504600C75291252 @default.
- W2913504600 hasFunder F4320320924 @default.
- W2913504600 hasFunder F4320332467 @default.
- W2913504600 hasIssue "3" @default.
- W2913504600 hasLocation W29135046001 @default.
- W2913504600 hasLocation W29135046002 @default.
- W2913504600 hasOpenAccess W2913504600 @default.
- W2913504600 hasPrimaryLocation W29135046001 @default.
- W2913504600 hasRelatedWork W1483845062 @default.
- W2913504600 hasRelatedWork W1555873941 @default.
- W2913504600 hasRelatedWork W2136711844 @default.
- W2913504600 hasRelatedWork W2163330118 @default.
- W2913504600 hasRelatedWork W2334791747 @default.
- W2913504600 hasRelatedWork W2383986235 @default.
- W2913504600 hasRelatedWork W3007092120 @default.
- W2913504600 hasRelatedWork W3166409534 @default.
- W2913504600 hasRelatedWork W4229773585 @default.
- W2913504600 hasRelatedWork W2464849962 @default.
- W2913504600 hasVolume "54" @default.
- W2913504600 isParatext "false" @default.
- W2913504600 isRetracted "false" @default.
- W2913504600 magId "2913504600" @default.
- W2913504600 workType "article" @default.