In the present study, pulse oximetry commonly overestimated the SaO2. Increased carboxyhemoglobin levels are independently associated with the difference between SpO2 and SaO2, a finding particularly relevant in smokers.
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism must meet, and use these to evaluate wellestablished formalisms and two process algebras that we have been developing, namely, Webπ∞ and CCS dp . A simple case study is developed to illustrate the modelling power of these two formalisms. The paper shows how Webπ∞ and CCS dp represent a significant step forward in modelling adaptive and dependable real-time systems.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.