Titlebook: Recent Trends in Algebraic Development Techniques; 21st International W Narciso Martí-Oliet,Miguel Palomino Conference proceedings 2013 IFI

Retrieval

Semantics of the Distributed Ontology Language: Institutes and Institutions,ity (OntoIOp). In DOL, heterogeneous and distributed ontologies can be expressed, i.e. ontologies that are made up of parts written in ontology languages based on various logics. In order to make the DOL meta-language and its semantics more easily accessible to the wider ontology community, we have

極大痛苦

陰險

內(nèi)向者

Distances between Processes: A Pure Algebraic Approach,um. In this paper, we develop a general algebraic framework to define distances between terms from any arbitrary signature. We apply this framework obtaining a new algebraic characterization of our previous distances. Moreover, we prove the generality of our approach developing an algebraic characte

軟膏

Conference proceedings 2013techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance; validation, and verification.

易達(dá)到

里程碑

Vsd168

BOLUS

Francisco Durán,Fernando Orejas,Steffen Zschalereinzelnen Mitarbeitern, Abteilun- gen, Niederlassungen und Partnern, weltweit zur Verfügung zu stellen. Die Anforderungen gehen dabei weit über das Zustellen von E-Mails hinaus. Das neue Schlagwort he isst "Groupware" oder "Collaboration" - Mitarbeitern soll über geografische Grenzen hinweg die M?gl

lactic