Sciweavers

1042 search results - page 52 / 209
» Ontology: The Discipline and the Tool
Sort
View
69
Voted
MODELS
2007
Springer
15 years 8 months ago
On Metamodeling in Megamodels
Model-Driven Engineering (MDE) introduced the notion of metamodeling as the main means for defining modeling languages. As a well organized engineering discipline, MDE should also ...
Dragan Gasevic, Nima Kaviani, Marek Hatala
SWAP
2007
15 years 3 months ago
Reasoning with Instances of Heterogeneous Ontologies
We address the problem of reasoning with instances of heterogeneously formalized ontologies. Given a set of semantic mappings, reconciling conceptual and instance level heterogenei...
Luciano Serafini, Andrei Tamilin
ICSE
2003
IEEE-ACM
16 years 2 months ago
Finding Boundary Objects in SE and HCI: An Approach Through Engineering-oriented Design Theories
This paper outlines an approach of using engineeringoriented design theories to build bridges between software engineering and human?computer interaction. The main thrust of the a...
Andrew Walenstein
ECBS
2007
IEEE
153views Hardware» more  ECBS 2007»
15 years 8 months ago
Composition of Cyber-Physical Systems
Cyber Physical Systems (CPS) is emerging as a new research discipline at the intersection of physical, biological, engineering and information sciences. Information technology, on...
Janos Sztipanovits
APSEC
2004
IEEE
15 years 5 months ago
Reasoning about Semantic Web in Isabelle/HOL
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Maho...