88 search results - page 4 / 18 » On Syntactic Composability and Model Reuse |
IIWAS
2007
13 years 6 months ago
2007
: The discovery of the ”right” ontology or ontology part is a central ingredient for effective ontology re-use. We present an approach for supporting a form of adaptive re-use...
ICVGIP
2004
13 years 6 months ago
2004
We present in this paper a technique for stylized reuse of view-dependent animation. We illustrate with an example, how can a unique animation be synthesized by reusing the view-d...
WWW
2005
ACM
14 years 5 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
ASE
2011
13 years 7 days ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...