Amanote Research

Amanote Research

    RegisterSign In

Architecture Conformance Checking With Description Logics

doi 10.1145/3129790.3129812
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2017

Authors
Sandra SchröderMatthias Riebisch
Publisher

ACM Press


Related search

Checking Traces for Regulatory Conformance

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Streaming Process Discovery and Conformance Checking

2018English

Decomposed Process Discovery and Conformance Checking

2018English

Process Discovery and Conformance Checking Using Passages

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2014English

Conformance Checking of Dynamic Access Control Policies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Model-Checking Over Multi-Valued Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Learning With Kernels in Description Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Expressive Description Logics

English

Composing Semantic Web Services With Description Logics

Ruan Jian Xue Bao/Journal of Software
Software
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy