Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567240936> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1567240936 abstract "This paper introduces a framework for knowledge-based analysis of issues of timing and clocks in systems with real-time constraints. We define the notion of timed precedence, a generalization of Lamport''s potential causality that is suitable for reasoning about timing in real-time systems. Knowledge about timed precedence is the key element in some of the work on optimal clock synchronization. We argue that the state of distributed knowledge, the natural candidate for use in such an analysis, is not appropriate for capturing various aspects of timing in real-time systems. We define an alternative notion, called inherent knowledge, which we find more appropriate. Finally, we illustrate how knowledge about the timed precedence of events can allow high-level reasoning about issues such as clock synchronization." @default.
- W1567240936 created "2016-06-24" @default.
- W1567240936 creator A5005055897 @default.
- W1567240936 creator A5081488130 @default.
- W1567240936 date "1995-07-01" @default.
- W1567240936 modified "2023-09-26" @default.
- W1567240936 title "Knowledge, Timed Precedence and Clocks" @default.
- W1567240936 hasPublicationYear "1995" @default.
- W1567240936 type Work @default.
- W1567240936 sameAs 1567240936 @default.
- W1567240936 citedByCount "7" @default.
- W1567240936 countsByYear W15672409362017 @default.
- W1567240936 crossrefType "journal-article" @default.
- W1567240936 hasAuthorship W1567240936A5005055897 @default.
- W1567240936 hasAuthorship W1567240936A5081488130 @default.
- W1567240936 hasConcept C121332964 @default.
- W1567240936 hasConcept C127162648 @default.
- W1567240936 hasConcept C129891060 @default.
- W1567240936 hasConcept C134306372 @default.
- W1567240936 hasConcept C149635348 @default.
- W1567240936 hasConcept C177148314 @default.
- W1567240936 hasConcept C199360897 @default.
- W1567240936 hasConcept C26517878 @default.
- W1567240936 hasConcept C2778562939 @default.
- W1567240936 hasConcept C31258907 @default.
- W1567240936 hasConcept C33923547 @default.
- W1567240936 hasConcept C38652104 @default.
- W1567240936 hasConcept C41008148 @default.
- W1567240936 hasConcept C48103436 @default.
- W1567240936 hasConcept C62520636 @default.
- W1567240936 hasConcept C64357122 @default.
- W1567240936 hasConcept C80444323 @default.
- W1567240936 hasConcept C93682380 @default.
- W1567240936 hasConceptScore W1567240936C121332964 @default.
- W1567240936 hasConceptScore W1567240936C127162648 @default.
- W1567240936 hasConceptScore W1567240936C129891060 @default.
- W1567240936 hasConceptScore W1567240936C134306372 @default.
- W1567240936 hasConceptScore W1567240936C149635348 @default.
- W1567240936 hasConceptScore W1567240936C177148314 @default.
- W1567240936 hasConceptScore W1567240936C199360897 @default.
- W1567240936 hasConceptScore W1567240936C26517878 @default.
- W1567240936 hasConceptScore W1567240936C2778562939 @default.
- W1567240936 hasConceptScore W1567240936C31258907 @default.
- W1567240936 hasConceptScore W1567240936C33923547 @default.
- W1567240936 hasConceptScore W1567240936C38652104 @default.
- W1567240936 hasConceptScore W1567240936C41008148 @default.
- W1567240936 hasConceptScore W1567240936C48103436 @default.
- W1567240936 hasConceptScore W1567240936C62520636 @default.
- W1567240936 hasConceptScore W1567240936C64357122 @default.
- W1567240936 hasConceptScore W1567240936C80444323 @default.
- W1567240936 hasConceptScore W1567240936C93682380 @default.
- W1567240936 hasLocation W15672409361 @default.
- W1567240936 hasOpenAccess W1567240936 @default.
- W1567240936 hasPrimaryLocation W15672409361 @default.
- W1567240936 hasRelatedWork W119299446 @default.
- W1567240936 hasRelatedWork W1654885996 @default.
- W1567240936 hasRelatedWork W1886613530 @default.
- W1567240936 hasRelatedWork W1969360009 @default.
- W1567240936 hasRelatedWork W1973936528 @default.
- W1567240936 hasRelatedWork W1993133238 @default.
- W1567240936 hasRelatedWork W2022871873 @default.
- W1567240936 hasRelatedWork W2024104664 @default.
- W1567240936 hasRelatedWork W2035918100 @default.
- W1567240936 hasRelatedWork W2052990370 @default.
- W1567240936 hasRelatedWork W2061819031 @default.
- W1567240936 hasRelatedWork W2067060908 @default.
- W1567240936 hasRelatedWork W2146819619 @default.
- W1567240936 hasRelatedWork W2170715240 @default.
- W1567240936 hasRelatedWork W2171997499 @default.
- W1567240936 hasRelatedWork W2174475829 @default.
- W1567240936 hasRelatedWork W3104422488 @default.
- W1567240936 hasRelatedWork W3137220996 @default.
- W1567240936 hasRelatedWork W3152881122 @default.
- W1567240936 hasRelatedWork W3159950143 @default.
- W1567240936 isParatext "false" @default.
- W1567240936 isRetracted "false" @default.
- W1567240936 magId "1567240936" @default.
- W1567240936 workType "article" @default.