case_images: PMC3279233_01
case_images: Our context Model. The box with thick borders is the default MC.
case_images: sensors-12-00632f2.jpg
case_images: PMC3279233_01_sensors-12-00632f2.jpg
case_images: f2-sensors-12-00632
case_images: So, if a patient is coming in and the hospital database is unavailable from the admission terminal (Figure 2), CareGiver(x, y) times out and the door stays close (in a way, the system derives negation from lack of information).
case_images: Case Study scenario.
case_images: sensors-12-00632f3.jpg
case_images: PMC3279233_01_sensors-12-00632f3.jpg
case_images: f3-sensors-12-00632
case_images: In our case study (Figure 3) access to a diagnostic device is controlled by different rule sets depending on the active contexts.