Auflistung nach Schlagwort "Specifications"

Sortiert nach: Sortierung: Ergebnisse:

  • Adaptive ontology re-use: Finding and re-using sub-ontologies 
    Stecher, Rodolfo; Niederée, Claudia; Nejdl, Wolfgang; Bouquet, Paolo (Bingley : Emerald Group Publishing Ltd., 2008)
    Purpose - The discovery of the "right" ontology or ontology part is a central ingredient for effective ontology re-use. The purpose of this paper is to present an approach for supporting a form of adaptive re-use of ...
  • Forward variance planning and modeling of multi-variant products 
    Gembarski, Paul Christoph; Lachmayer, Roland (Amsterdam : Elsevier, 2014)
    Planning multi-variant products in the early stage of the design process is still a challenge. In the present paper, a specification technique is introduced in order to define multi-variant products using degrees of freedom ...
  • Time Constrained Verification of Analog Circuits using Model-Checking Algorithms 
    Grabowski, Darius; Platte, Daniel; Hedrich, Lars; Barke, Erich (Amsterdam : Elsevier BV, 2006)
    In this contribution we present algorithms for model checking of analog circuits enabling the specification of time constraints. Furthermore, a methodology for defining time-based specifications is introduced. An already ...