Matches in SemOpenAlex for { <https://semopenalex.org/work/W2523642095> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2523642095 endingPage "151" @default.
- W2523642095 startingPage "135" @default.
- W2523642095 abstract "The LogicGuard specification language for the runtime monitoring of message/event streams specifies monitors by predicate logic formulas of a certain kind. In this paper we present an algorithm that gives upper bounds for the space requirements of monitors specified in a formally elaborated core of this language. This algorithm has been implemented in the LogicGuard software and experiments have been carried out to demonstrate the accuracy of its predictions." @default.
- W2523642095 created "2016-09-30" @default.
- W2523642095 creator A5043535857 @default.
- W2523642095 creator A5046504787 @default.
- W2523642095 creator A5080230891 @default.
- W2523642095 date "2016-01-01" @default.
- W2523642095 modified "2023-09-27" @default.
- W2523642095 title "Predicting Space Requirements for a Stream Monitor Specification Language" @default.
- W2523642095 cites W1538818040 @default.
- W2523642095 cites W1780005695 @default.
- W2523642095 cites W1914433421 @default.
- W2523642095 cites W2066585576 @default.
- W2523642095 cites W2113012730 @default.
- W2523642095 cites W2115051564 @default.
- W2523642095 cites W4205178514 @default.
- W2523642095 doi "https://doi.org/10.1007/978-3-319-46982-9_9" @default.
- W2523642095 hasPublicationYear "2016" @default.
- W2523642095 type Work @default.
- W2523642095 sameAs 2523642095 @default.
- W2523642095 citedByCount "1" @default.
- W2523642095 countsByYear W25236420952017 @default.
- W2523642095 crossrefType "book-chapter" @default.
- W2523642095 hasAuthorship W2523642095A5043535857 @default.
- W2523642095 hasAuthorship W2523642095A5046504787 @default.
- W2523642095 hasAuthorship W2523642095A5080230891 @default.
- W2523642095 hasConcept C102780508 @default.
- W2523642095 hasConcept C116253237 @default.
- W2523642095 hasConcept C119263510 @default.
- W2523642095 hasConcept C120314980 @default.
- W2523642095 hasConcept C121332964 @default.
- W2523642095 hasConcept C140146324 @default.
- W2523642095 hasConcept C15077461 @default.
- W2523642095 hasConcept C199360897 @default.
- W2523642095 hasConcept C201677973 @default.
- W2523642095 hasConcept C25016198 @default.
- W2523642095 hasConcept C2777904410 @default.
- W2523642095 hasConcept C2779662365 @default.
- W2523642095 hasConcept C34165917 @default.
- W2523642095 hasConcept C41008148 @default.
- W2523642095 hasConcept C50033165 @default.
- W2523642095 hasConcept C52913732 @default.
- W2523642095 hasConcept C529173508 @default.
- W2523642095 hasConcept C62520636 @default.
- W2523642095 hasConcept C79403827 @default.
- W2523642095 hasConcept C90069079 @default.
- W2523642095 hasConceptScore W2523642095C102780508 @default.
- W2523642095 hasConceptScore W2523642095C116253237 @default.
- W2523642095 hasConceptScore W2523642095C119263510 @default.
- W2523642095 hasConceptScore W2523642095C120314980 @default.
- W2523642095 hasConceptScore W2523642095C121332964 @default.
- W2523642095 hasConceptScore W2523642095C140146324 @default.
- W2523642095 hasConceptScore W2523642095C15077461 @default.
- W2523642095 hasConceptScore W2523642095C199360897 @default.
- W2523642095 hasConceptScore W2523642095C201677973 @default.
- W2523642095 hasConceptScore W2523642095C25016198 @default.
- W2523642095 hasConceptScore W2523642095C2777904410 @default.
- W2523642095 hasConceptScore W2523642095C2779662365 @default.
- W2523642095 hasConceptScore W2523642095C34165917 @default.
- W2523642095 hasConceptScore W2523642095C41008148 @default.
- W2523642095 hasConceptScore W2523642095C50033165 @default.
- W2523642095 hasConceptScore W2523642095C52913732 @default.
- W2523642095 hasConceptScore W2523642095C529173508 @default.
- W2523642095 hasConceptScore W2523642095C62520636 @default.
- W2523642095 hasConceptScore W2523642095C79403827 @default.
- W2523642095 hasConceptScore W2523642095C90069079 @default.
- W2523642095 hasLocation W25236420951 @default.
- W2523642095 hasOpenAccess W2523642095 @default.
- W2523642095 hasPrimaryLocation W25236420951 @default.
- W2523642095 hasRelatedWork W2024253113 @default.
- W2523642095 hasRelatedWork W2043588306 @default.
- W2523642095 hasRelatedWork W2060087898 @default.
- W2523642095 hasRelatedWork W2132764576 @default.
- W2523642095 hasRelatedWork W2220760899 @default.
- W2523642095 hasRelatedWork W2350068048 @default.
- W2523642095 hasRelatedWork W2592399342 @default.
- W2523642095 hasRelatedWork W2898425611 @default.
- W2523642095 hasRelatedWork W4249603026 @default.
- W2523642095 hasRelatedWork W9205283 @default.
- W2523642095 isParatext "false" @default.
- W2523642095 isRetracted "false" @default.
- W2523642095 magId "2523642095" @default.
- W2523642095 workType "book-chapter" @default.