Sciweavers

370 search results - page 62 / 74
» Mapping-driven XML transformation
Sort
View
ZUM
2005
Springer
176views Formal Methods» more  ZUM 2005»
15 years 8 months ago
CZT: A Framework for Z Tools
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
Petra Malik, Mark Utting
MKWI
2008
124views Business» more  MKWI 2008»
15 years 4 months ago
XML-based Representation of Agile Workflows
Agile workflow technology deals with business processes that require structural changes during run-time. For the difficult task of adapting the workflows, a modelling language that...
Mirjam Minor, Daniel Schmalen, Ralph Bergmann
APVIS
2004
15 years 4 months ago
Inhomogeneous Force-Directed Layout Algorithms in the Visualisation Pipeline: From Layouts to Visualisations
The visualisation pipeline approach is a flexible and extensible technique for generating visualisations. The basic pipeline functions involve the capture and representation of da...
Neville Churcher, Warwick Irwin, Carl Cook
GIS
2010
ACM
15 years 1 months ago
Ontuition: intuitive data exploration via ontology navigation
We present Ontuition, a system for mapping ontologies. Transforming data to a usable format for Ontuition involves recognizing and resolving data values corresponding to concepts ...
Marco D. Adelfio, Michael D. Lieberman, Hanan Same...
JSC
2010
107views more  JSC 2010»
14 years 10 months ago
On the relation between Context and Sequence Unification
Both Sequence and Context Unification generalize the same problem: Word Unification. Besides that, Sequence Unification solves equations between unranked terms involving sequence ...
Temur Kutsia, Jordi Levy, Mateu Villaret