Sciweavers

370 search results - page 62 / 74
» Mapping-driven XML transformation
Sort
View
ZUM
2005
Springer
176views Formal Methods» more  ZUM 2005»
14 years 3 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»
13 years 11 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
13 years 11 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
13 years 8 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»
13 years 4 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