Matches in SemOpenAlex for { <https://semopenalex.org/work/W1827751614> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1827751614 endingPage "42" @default.
- W1827751614 startingPage "37" @default.
- W1827751614 abstract "In this paper, we give a formal model for real-time database systems using Duration Calculus. Our model supports the formal reasoning about the operations in the systems. As a case study for our technique, we give a formal specification and verification of the Read/Write Priority Ceiling Protocol (R/WPCP)." @default.
- W1827751614 created "2016-06-24" @default.
- W1827751614 creator A5012064902 @default.
- W1827751614 creator A5064592914 @default.
- W1827751614 date "2004-01-01" @default.
- W1827751614 modified "2023-09-27" @default.
- W1827751614 title "Modelling Real-time Database Systems in Duration Calculus." @default.
- W1827751614 cites W1545155892 @default.
- W1827751614 cites W1554819579 @default.
- W1827751614 cites W1569022816 @default.
- W1827751614 cites W1573589782 @default.
- W1827751614 cites W1575840005 @default.
- W1827751614 cites W2000916035 @default.
- W1827751614 cites W2029670992 @default.
- W1827751614 cites W2109488193 @default.
- W1827751614 cites W2114644674 @default.
- W1827751614 cites W2115125467 @default.
- W1827751614 cites W2134478753 @default.
- W1827751614 cites W2154009556 @default.
- W1827751614 cites W2160293203 @default.
- W1827751614 cites W2167467151 @default.
- W1827751614 hasPublicationYear "2004" @default.
- W1827751614 type Work @default.
- W1827751614 sameAs 1827751614 @default.
- W1827751614 citedByCount "1" @default.
- W1827751614 crossrefType "journal-article" @default.
- W1827751614 hasAuthorship W1827751614A5012064902 @default.
- W1827751614 hasAuthorship W1827751614A5064592914 @default.
- W1827751614 hasConcept C110251889 @default.
- W1827751614 hasConcept C112758219 @default.
- W1827751614 hasConcept C124952713 @default.
- W1827751614 hasConcept C142362112 @default.
- W1827751614 hasConcept C142724271 @default.
- W1827751614 hasConcept C199343813 @default.
- W1827751614 hasConcept C199360897 @default.
- W1827751614 hasConcept C204787440 @default.
- W1827751614 hasConcept C2777686260 @default.
- W1827751614 hasConcept C2780385302 @default.
- W1827751614 hasConcept C41008148 @default.
- W1827751614 hasConcept C71924100 @default.
- W1827751614 hasConcept C75606506 @default.
- W1827751614 hasConcept C77088390 @default.
- W1827751614 hasConcept C80444323 @default.
- W1827751614 hasConceptScore W1827751614C110251889 @default.
- W1827751614 hasConceptScore W1827751614C112758219 @default.
- W1827751614 hasConceptScore W1827751614C124952713 @default.
- W1827751614 hasConceptScore W1827751614C142362112 @default.
- W1827751614 hasConceptScore W1827751614C142724271 @default.
- W1827751614 hasConceptScore W1827751614C199343813 @default.
- W1827751614 hasConceptScore W1827751614C199360897 @default.
- W1827751614 hasConceptScore W1827751614C204787440 @default.
- W1827751614 hasConceptScore W1827751614C2777686260 @default.
- W1827751614 hasConceptScore W1827751614C2780385302 @default.
- W1827751614 hasConceptScore W1827751614C41008148 @default.
- W1827751614 hasConceptScore W1827751614C71924100 @default.
- W1827751614 hasConceptScore W1827751614C75606506 @default.
- W1827751614 hasConceptScore W1827751614C77088390 @default.
- W1827751614 hasConceptScore W1827751614C80444323 @default.
- W1827751614 hasLocation W18277516141 @default.
- W1827751614 hasOpenAccess W1827751614 @default.
- W1827751614 hasPrimaryLocation W18277516141 @default.
- W1827751614 hasRelatedWork W1262447868 @default.
- W1827751614 hasRelatedWork W1524680871 @default.
- W1827751614 hasRelatedWork W1544150460 @default.
- W1827751614 hasRelatedWork W1584816385 @default.
- W1827751614 hasRelatedWork W1921633840 @default.
- W1827751614 hasRelatedWork W1964841763 @default.
- W1827751614 hasRelatedWork W2005596529 @default.
- W1827751614 hasRelatedWork W2035334563 @default.
- W1827751614 hasRelatedWork W2090399938 @default.
- W1827751614 hasRelatedWork W2101211171 @default.
- W1827751614 hasRelatedWork W2128447142 @default.
- W1827751614 hasRelatedWork W2140319952 @default.
- W1827751614 hasRelatedWork W2150598796 @default.
- W1827751614 hasRelatedWork W2541126319 @default.
- W1827751614 hasRelatedWork W2900987290 @default.
- W1827751614 hasRelatedWork W2062674085 @default.
- W1827751614 hasRelatedWork W2131478423 @default.
- W1827751614 hasRelatedWork W2161039213 @default.
- W1827751614 hasRelatedWork W2817129955 @default.
- W1827751614 hasRelatedWork W2882725045 @default.
- W1827751614 isParatext "false" @default.
- W1827751614 isRetracted "false" @default.
- W1827751614 magId "1827751614" @default.
- W1827751614 workType "article" @default.