1219 search results - page 131 / 244 » Towards automatization of domain modeling |
ICWE
2007
Springer
14 years 3 months ago
2007
Springer
This paper addresses conceptual modeling and automatic code generation for search engine integration with data intensive Web applications. We have analyzed the similarities (and di...
DAGM
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In this paper, we propose a new approach to learn structured visual compound models from shape-based feature descriptions. We use captioned text in order to drive the pro...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
ECBS
2010
IEEE
14 years 3 months ago
2010
IEEE
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
CISIS
2009
IEEE
14 years 4 months ago
2009
IEEE
We explore how to support the creation of customized visualizations of ontology instance data through the speciļ¬cation of ontology mappings. We combine technologies from the dis...