Sciweavers

1317 search results - page 165 / 264
» Fusions of Description Logics and Abstract Description Syste...
Sort
View
DEXAW
2005
IEEE
144views Database» more  DEXAW 2005»
16 years 3 days ago
A Partial Ontology for Forest Inventory and Mensuration
Keywords, restricted vocabularies (RVs), thesauri, and catalogues are introduced leading up to discussion of the need for full ontologies to describe the full logical and relation...
Keith Rennolls
TES
2005
Springer
15 years 12 months ago
A Lightweight Model-Driven Orchestration Engine for e-Services
Service-oriented Computing (SoC) in general, and e-service orchestrations in particular have the potential to increase reuse and to ease maintainability. Typically, interoperating ...
Johann Oberleitner, Florian Rosenberg, Schahram Du...
ISCAS
2003
IEEE
118views Hardware» more  ISCAS 2003»
15 years 11 months ago
SoC design integration by using automatic interconnection rectification
the interconnection among the IP cores with all description levels This paper presents an automatic interconnection rectification (AIR)technique to correct the misplaced interconne...
Chun-Yao Wang, Shing-Wu Tung, Jing-Yang Jou
VL
1996
IEEE
123views Visual Languages» more  VL 1996»
15 years 10 months ago
GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
Volker Haarslev, Michael Wessel
EWDW
1990
15 years 10 months ago
Semantics of Object-Oriented Data Models - The Evolving Algebra Approach
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
Georg Gottlob, Gerti Kappel, Michael Schrefl