Sciweavers

Share
4 search results - page 1 / 1
» Modularity of Ontologies in an Arbitrary Institution
Sort
View
BIRTHDAY
2015
Springer
3 years 2 days ago
Modularity of Ontologies in an Arbitrary Institution
Abstract. The notion of module extraction has been studied extensively in the ontology community. The idea is to extract, from a large ontology, those axioms that are relevant to c...
Yazmin Angélica Ibáñez-Garc&i...
ECAI
2008
Springer
8 years 6 months ago
Conservativity in Structured Ontologies
Using category theoretic notions, in particular diagrams and their colimits, we provide a common semantic backbone for various notions of modularity in structured ontologies, and o...
Oliver Kutz, Till Mossakowski
IACR
2011
105views more  IACR 2011»
7 years 3 months ago
Leakage Tolerant Interactive Protocols
We put forth a framework for expressing security requirements from interactive protocols in the presence of arbitrary leakage. This allows capturing different levels of leakage to...
Nir Bitansky, Ran Canetti, Shai Halevi
MFCS
1995
Springer
8 years 7 months ago
An Abstract Account of Composition
act Account of Composition Mart n Abadi1 and Stephan Merz2 1 Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, U.S.A. 2 Institut fur I...
Martín Abadi, Stephan Merz
books