Matches in SemOpenAlex for { <https://semopenalex.org/work/W1967732711> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1967732711 endingPage "210" @default.
- W1967732711 startingPage "201" @default.
- W1967732711 abstract "There are two basic parts to the behavioral specification of distributed systems: safety and progress. In earlier work, we developed a tool to monitor progress properties of CORBA components specified using the temporal operator transient. In this paper, we address the specification and testing of transient properties that are quantified (over both bounded and unbounded domains). We categorize typical quantifications that arise in practical systems and discuss possible implementation strategies. We define functional transients, a subclass of quantified transient properties that can be monitored in constant space and time. We outline the design and implementation of a tool for testing these properties in CORBA components." @default.
- W1967732711 created "2016-06-24" @default.
- W1967732711 creator A5046622655 @default.
- W1967732711 creator A5080055834 @default.
- W1967732711 date "2001-07-01" @default.
- W1967732711 modified "2023-09-24" @default.
- W1967732711 title "The specification and testing of quantified progress properties in distributed systems" @default.
- W1967732711 cites W1506588809 @default.
- W1967732711 cites W1583095677 @default.
- W1967732711 cites W1601712140 @default.
- W1967732711 cites W1606779181 @default.
- W1967732711 cites W1662894986 @default.
- W1967732711 cites W1790033198 @default.
- W1967732711 cites W1857327297 @default.
- W1967732711 cites W1998631319 @default.
- W1967732711 cites W2060361043 @default.
- W1967732711 cites W2090551028 @default.
- W1967732711 cites W2105142318 @default.
- W1967732711 cites W2129518651 @default.
- W1967732711 cites W2134147282 @default.
- W1967732711 cites W2171326170 @default.
- W1967732711 cites W2293400264 @default.
- W1967732711 cites W2914206182 @default.
- W1967732711 cites W21201948 @default.
- W1967732711 doi "https://doi.org/10.5555/381473.381495" @default.
- W1967732711 hasPublicationYear "2001" @default.
- W1967732711 type Work @default.
- W1967732711 sameAs 1967732711 @default.
- W1967732711 citedByCount "3" @default.
- W1967732711 crossrefType "proceedings-article" @default.
- W1967732711 hasAuthorship W1967732711A5046622655 @default.
- W1967732711 hasAuthorship W1967732711A5080055834 @default.
- W1967732711 hasConcept C104317684 @default.
- W1967732711 hasConcept C120314980 @default.
- W1967732711 hasConcept C127413603 @default.
- W1967732711 hasConcept C134306372 @default.
- W1967732711 hasConcept C158448853 @default.
- W1967732711 hasConcept C17020691 @default.
- W1967732711 hasConcept C185592680 @default.
- W1967732711 hasConcept C199360897 @default.
- W1967732711 hasConcept C200601418 @default.
- W1967732711 hasConcept C2777027219 @default.
- W1967732711 hasConcept C2780799671 @default.
- W1967732711 hasConcept C33923547 @default.
- W1967732711 hasConcept C34388435 @default.
- W1967732711 hasConcept C41008148 @default.
- W1967732711 hasConcept C49312422 @default.
- W1967732711 hasConcept C55493867 @default.
- W1967732711 hasConcept C86339819 @default.
- W1967732711 hasConceptScore W1967732711C104317684 @default.
- W1967732711 hasConceptScore W1967732711C120314980 @default.
- W1967732711 hasConceptScore W1967732711C127413603 @default.
- W1967732711 hasConceptScore W1967732711C134306372 @default.
- W1967732711 hasConceptScore W1967732711C158448853 @default.
- W1967732711 hasConceptScore W1967732711C17020691 @default.
- W1967732711 hasConceptScore W1967732711C185592680 @default.
- W1967732711 hasConceptScore W1967732711C199360897 @default.
- W1967732711 hasConceptScore W1967732711C200601418 @default.
- W1967732711 hasConceptScore W1967732711C2777027219 @default.
- W1967732711 hasConceptScore W1967732711C2780799671 @default.
- W1967732711 hasConceptScore W1967732711C33923547 @default.
- W1967732711 hasConceptScore W1967732711C34388435 @default.
- W1967732711 hasConceptScore W1967732711C41008148 @default.
- W1967732711 hasConceptScore W1967732711C49312422 @default.
- W1967732711 hasConceptScore W1967732711C55493867 @default.
- W1967732711 hasConceptScore W1967732711C86339819 @default.
- W1967732711 hasLocation W19677327111 @default.
- W1967732711 hasOpenAccess W1967732711 @default.
- W1967732711 hasPrimaryLocation W19677327111 @default.
- W1967732711 hasRelatedWork W1488580306 @default.
- W1967732711 hasRelatedWork W1758434095 @default.
- W1967732711 hasRelatedWork W1910907557 @default.
- W1967732711 hasRelatedWork W1972451685 @default.
- W1967732711 hasRelatedWork W2030296426 @default.
- W1967732711 hasRelatedWork W2060742314 @default.
- W1967732711 hasRelatedWork W2084078599 @default.
- W1967732711 hasRelatedWork W2125734885 @default.
- W1967732711 hasRelatedWork W2132061124 @default.
- W1967732711 hasRelatedWork W2143314548 @default.
- W1967732711 hasRelatedWork W2150967549 @default.
- W1967732711 hasRelatedWork W2156678305 @default.
- W1967732711 hasRelatedWork W2158272492 @default.
- W1967732711 hasRelatedWork W2160614176 @default.
- W1967732711 hasRelatedWork W2162796800 @default.
- W1967732711 hasRelatedWork W2167357000 @default.
- W1967732711 hasRelatedWork W2170471566 @default.
- W1967732711 hasRelatedWork W2491702999 @default.
- W1967732711 hasRelatedWork W2541072038 @default.
- W1967732711 hasRelatedWork W57597413 @default.
- W1967732711 isParatext "false" @default.
- W1967732711 isRetracted "false" @default.
- W1967732711 magId "1967732711" @default.
- W1967732711 workType "article" @default.