3081 search results - page 243 / 617 » A Formal Ontology of Properties |
164
click to vote
EUROMICRO
2005
IEEE
16 years 6 days ago
2005
IEEE
Objective: Formal definition of composition assessment metrics for CBSE, using an extension of the CORBA Component Model metamodel as the ontology for describing component assembl...
155
click to vote
AIED
2005
Springer
16 years 4 days ago
2005
Springer
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
179
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We present AceWiki, a prototype of a new kind of semantic wiki using the controlled natural language Attempto Controlled English (ACE) for representing its content. ACE is a subse...
151
click to vote
HVC
2007
Springer
16 years 23 days ago
2007
Springer
The paper presents a new approach to formal verification of generic (i.e. parametrised) hardware designs specified in VHDL. The proposed approach is based on a translation of suc...
170
click to vote
TLCA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...