Now showing items 1-4 of 4
Monitoring in the Healthcare Setting
Monitoring is an activity in which a running system is observed, so as to become aware of its state. The fact that the system is observed makes monitoring complementary to approaches like formal verification and validation, ...
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes
Clinical Guidelines (CGs) capture medical evidence and describe standardized high quality health processes. Their adoption increases the quality of the service offered by health departments, with direct advantage for treated ...
Reactive event calculus for monitoring global computing applications
In 1986 Kowalski and Sergot proposed a logic-based formalism named Event Calculus (EC), for specifying in a declarative manner how the happening of events affects some representation (the state) of the world. Since its ...