3342 search results - page 504 / 669 » Automating Abstract Interpretation |
115
Voted
ICONIP
2008
15 years 2 months ago
2008
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...
90
Voted
MODELLIERUNG
2008
15 years 2 months ago
2008
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...
69
Voted
ISTA
2007
15 years 2 months ago
2007
: 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...
121
click to vote
OWLED
2008
15 years 2 months ago
2008
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...
120
click to vote
SIGSAND
2008
15 years 2 months ago
2008
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...