![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Turning Lead into Gold? Feeding a Formal Knowledge Base with Informal Conceptual Knowledge
We describe an ontology engineering methodology by which conceptual knowledge is extracted from an informal medical thesaurus (UMLS) and automatically converted into a formal description logics system. Our app...
-
Chapter and Conference Paper
Frame of Interest Approach on Quality of Prediction for Agent-Based Network Monitoring
We present an approach to compute the quality of prediction for network monitoring. The monitoring is part of a proactive mobile agents based management system for network health (magmaNH). To allow prediction...
-
Chapter and Conference Paper
Enhancing Grid Security Using Trusted Virtualization
Grid applications increasingly have sophisticated functional and security requirements. Current techniques mostly protect the grid resource provider from attacks by the grid user, while leaving the user compar...
-
Chapter and Conference Paper
Integrating System Modelling with Safety Activities
Increasing enforcement of safety standards – such as the new ISO 26262 – requires developers of embedded systems to supplement their development processes with safety-related activities, such as hazard analysi...
-
Chapter and Conference Paper
How Ontologies Can Improve Semantic Interoperability in Health Care
The main rationale of biomedical terminologies and formalized clinical information models is to provide semantic standards to improve the exchange of meaningful clinical information. Whereas terminologies shou...