Sciweavers

29 search results - page 2 / 6
» Automating the transformation-based analysis of visual langu...
Sort
View
ATVA
2006
Springer
158views Hardware» more  ATVA 2006»
13 years 9 months ago
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
Hang Su, Graham Hemingway, Kai Chen, T. John Koo
MODELS
2009
Springer
13 years 10 months ago
From UML to Alloy and Back Again
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bo...
VISUALIZATION
2002
IEEE
13 years 10 months ago
A Model for the Visualization Exploration Process
The current state of the art in visualization research places a strong emphasis on different techniques to derive insight from disparate types of data. However, little work has in...
T. J. Jankun-Kelly, Kwan-Liu Ma, Michael Gertz
DOCENG
2009
ACM
14 years 4 days ago
Web document text and images extraction using DOM analysis and natural language processing
: © Web Document Text and Images Extraction using DOM Analysis and Natural Language Processing Parag Mulendra Joshi, Sam Liu HP Laboratories HPL-2009-187 Web page text extraction,...
Parag Mulendra Joshi, Sam Liu
ECBS
1997
IEEE
118views Hardware» more  ECBS 1997»
13 years 9 months ago
A generic system for interactive real-time animation
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...
Marita Dücker, Georg Lehrenfeld, Wolfgang M&u...