The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
Abstract. This paper focuses on the interoperability of autonomous legacy databases with the idea of meeting the future requirements of an organization. It describes a general arch...
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
Abstract: In this demonstration we introduce a technology to support knowledge structuring processes already at the time of their creation by building up concept structures in real...
In order to accurately cost the new product manufacture, and to assess a `what if' scenario in a rapid manner, requires an information system which can integrate the process ...