Several modern development environments allow executable components, such as hydrologic models, to carry Metadata describing the properties and capabilities of the components. These metadata may be restricted to the names of properties, and their respective data types, or may extend to other information, such as classification of properties (eg. input or output), numeric constraints on paramete...

Semantics-driven monitoring discovers attacks against a process by evaluating invariants on the process state. To increase the robustness and the transparency of semantics-driven monitoring, we propose an approach that introduces two virtual machines (VMs) running on the same platform. One VM runs the monitored process, i.e. the process to be protected, while the other one evaluates invariants ...

According to the majority of the textbooks, the history of modern, scientific psychology can be tidily encapsulated in the following three stages. Scientific psychology began with a commitment to the study of mind, but based on the method of introspection. Watson rejected introspectionism as both unreliable and effete, and redefined psychology, instead, as the science of behaviour. The cognitiv...