Related papers: Incorporating LINQ, State Diagrams Templating and …
Final version to appear in Math.Z
This paper has been withdrawn by the author: it was a too preliminary version.
This paper has been withdrawn
This paper has been withdrawn by the author. This paper is now obsolete. For a solution please see: arXiv:/1205.4265.
This paper is withdrawn because the results in the paper are included in a paper to be published in Mathematical and Computer Modelling.
We describe an alternative solution to the impedance-mismatch problem between programming and query languages: rather than embed queries in a programming language, as done in LINQ systems, we embed programs in a query language, and dub the…
This paper has been withdrawn by the author(s), due to some technical problem.
In incremental development strategies, modelers frequently refine Statecharts models to satisfy requirements and changes. Although several solutions exist to the problem of Statecharts refinement, they provide such levels of freedom that a…
This paper had been withdrawed
This paper has been withdrawn by the authors. We have discovered an error in the evaluation of the diagram, which invalidates our conclusion.
The authors describe a case study of the migration of an interactive diagramming tool written in Java from the Swing Graphical User Interface framework to the more recent JavaFX framework. The study distills the authors' experience…
This paper has been withdrawn
This paper has been withdrawn by the author
This paper has been withdrawn by the author due to essential mistakes in some previous versions.
This paper has been withdrawn. It will be split into two separate papers. New results will be added in both papers.
This paper has been withdrawn by the author; a revised version is part of the author's phd-thesis "Quasi-logarithmic structures" (Zurich, 2007).
We present LinkQ, a system that leverages a large language model (LLM) to facilitate knowledge graph (KG) query construction through natural language question-answering. Traditional approaches often require detailed knowledge of a graph…
This article has been removed by arXiv administrators because the submitter did not have the rights to agree to the license at the time of submission
This paper has been withdrawn, since it contains a corollary with impossible consequences and the source of an error is currently unknown.
The paper has been withdrawn