Sciweavers

3342 search results - page 504 / 669
» Automating Abstract Interpretation
Sort
View
ICONIP
2008
14 years 6 days ago
Neurocognitive Approach to Clustering of PubMed Query Results
Abstract. Internet literature queries return a long lists of citations, ordered according to their relevance or date. Query results may also be represented using Visual Language th...
Pawel Matykiewicz, Wlodzislaw Duch, Paul M. Zender...
MODELLIERUNG
2008
14 years 6 days ago
Integrating Template-Based Code Generation into Graphical Model Transformation
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
Martin Girschick
ISTA
2007
14 years 6 days ago
Knowledge-Oriented Approach to the Main Pipeline Complex Dispatching Control
: The article is devoted to the development of knowledge-oriented models that are able to increase the efficiency and quality of main pipeline complex (MPC) dispatching control. Th...
O. Ye. Fedorovich, A. V. Prokhorov, K. V. Golovan
OWLED
2008
14 years 6 days ago
The OWL in the CASL - Designing Ontologies Across Logics
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
Oliver Kutz, Dominik Lücke, Till Mossakowski,...
SIGSAND
2008
14 years 6 days ago
Relational Model Driven Application Design
Abstract: A closer look at typical information systems shows that relatively simple routines often contribute significantly to the overall expenses of the software development proc...
Michael Guckert, René Gerlach