Matches in SemOpenAlex for { <https://semopenalex.org/work/W127007369> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- W127007369 abstract "Abstract : The main objective of this project was to develop new semantic theories and automated tools for real-time and probabilistic concurrent systems; that is, systems of coordinating processes that exhibit behavior of a probabilistic or statistical nature and which must meet real-time constraints. The main results achieved include a new semantic framework for reasoning about the relative reliability of probabilistic systems in different operating environments; an efficient algorithm for checking whether a specification of a real-time concurrent system satisfies a correctness property specified in a real-time temporal logic; and a new model of soft real-time systems that allows users to make rigorous statements about the likelihood with which systems are guaranteed to meet deadlines. A number of these results have been incorporated into the Concurrency Factory verification toolkit. In turn, the Factory has provided a platform for technology transfer with several Long Island companies, including Parker-Hannifin, Reuters America, and Northrop Grumman." @default.
- W127007369 created "2016-06-24" @default.
- W127007369 creator A5039202410 @default.
- W127007369 date "1997-05-23" @default.
- W127007369 modified "2023-10-16" @default.
- W127007369 title "Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems" @default.
- W127007369 doi "https://doi.org/10.21236/ada329736" @default.
- W127007369 hasPublicationYear "1997" @default.
- W127007369 type Work @default.
- W127007369 sameAs 127007369 @default.
- W127007369 citedByCount "0" @default.
- W127007369 crossrefType "report" @default.
- W127007369 hasAuthorship W127007369A5039202410 @default.
- W127007369 hasConcept C154945302 @default.
- W127007369 hasConcept C199360897 @default.
- W127007369 hasConcept C204321447 @default.
- W127007369 hasConcept C41008148 @default.
- W127007369 hasConcept C49937458 @default.
- W127007369 hasConcept C80444323 @default.
- W127007369 hasConceptScore W127007369C154945302 @default.
- W127007369 hasConceptScore W127007369C199360897 @default.
- W127007369 hasConceptScore W127007369C204321447 @default.
- W127007369 hasConceptScore W127007369C41008148 @default.
- W127007369 hasConceptScore W127007369C49937458 @default.
- W127007369 hasConceptScore W127007369C80444323 @default.
- W127007369 hasLocation W1270073691 @default.
- W127007369 hasOpenAccess W127007369 @default.
- W127007369 hasPrimaryLocation W1270073691 @default.
- W127007369 hasRelatedWork W1527862632 @default.
- W127007369 hasRelatedWork W2109507516 @default.
- W127007369 hasRelatedWork W2112962394 @default.
- W127007369 hasRelatedWork W2118300983 @default.
- W127007369 hasRelatedWork W2135396778 @default.
- W127007369 hasRelatedWork W2166247150 @default.
- W127007369 hasRelatedWork W3107474891 @default.
- W127007369 hasRelatedWork W3137189469 @default.
- W127007369 hasRelatedWork W4243252198 @default.
- W127007369 hasRelatedWork W4290792893 @default.
- W127007369 isParatext "false" @default.
- W127007369 isRetracted "false" @default.
- W127007369 magId "127007369" @default.
- W127007369 workType "report" @default.