450 search results - page 49 / 90 » An enriched knowledge model for formal ontological analysis |
ECSA
2010
Springer
15 years 23 hour ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
135
click to vote
EKAW
2000
Springer
15 years 3 months ago
2000
Springer
Guidelines for clinical practice are being introduced in an extensive way in more and more different fields of medicine They have the potential to improve the quality and cost-effi...
SEMWEB
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The upper-level ontologies are theories that capture the most common concepts, which are relevant for many of the tasks involving knowledge extraction, representation, an...
122
click to vote
APN
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
TCBB
2010
14 years 10 months ago
2010
—The correct interpretation of many molecular biology experiments depends in an essential way on the accuracy and consistency of the existing annotation databases. Such databases...