Sciweavers

1071 search results - page 18 / 215
» Modelling Ontology Evaluation and Validation
Sort
View
ASPDAC
2012
ACM
241views Hardware» more  ASPDAC 2012»
12 years 3 months ago
On error modeling of electrical bugs for post-silicon timing validation
—There is great demand for an accurate and scalable metric to evaluate the functional stimuli, testbench checkers, and DfD (Design-for-Debug) structures used in post-silicon timi...
Ming Gao, Peter Lisherness, Kwang-Ting Cheng, Jing...
ECBS
2007
IEEE
142views Hardware» more  ECBS 2007»
14 years 1 months ago
Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
James H. Hill, Sumant Tambe, Aniruddha S. Gokhale
ICCS
2005
Springer
14 years 1 months ago
Language Technologies Meet Ontology Acquisition
This paper overviews and analyses the on-going research attempts to apply language technologies to automatic ontology acquisition. At first glance there are many successful approac...
Galia Angelova
ER
2008
Springer
110views Database» more  ER 2008»
13 years 9 months ago
What's in a Relationship: An Ontological Analysis
In a series of publications, we have proposed a foundational system of ontological categories which has been successfully used to evaluate and improve the quality of conceptual mod...
Giancarlo Guizzardi, Gerd Wagner
ICST
2009
IEEE
13 years 5 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...