Sciweavers

274 search results - page 38 / 55
» SUPPLE: automatically generating user interfaces
Sort
View
VIS
2009
IEEE
150views Visualization» more  VIS 2009»
14 years 9 months ago
VisMashup: Streamlining the Creation of Custom Visualization Applications
Visualization is essential for understanding the increasing volumes of digital data. However, the process required to create insightful visualizations is involved and time consumin...
Emanuele Santos, Lauro Lins, James P. Ahrens, J...
ISM
2008
IEEE
79views Multimedia» more  ISM 2008»
14 years 2 months ago
Web Lectures and Web 2.0
At many universities, web lectures have become an integral part of the e-learning portfolio over the last few years. While many aspects of the technology involved, like automatic ...
Markus Ketterl, Robert Mertens, Oliver Vornberger
IEEECIT
2010
IEEE
13 years 6 months ago
Model-Level Debugging of Embedded Real-Time Systems
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
Wolfgang Haberl, Markus Herrmannsdoerfer, Jan Birk...
CSMR
2008
IEEE
14 years 2 months ago
A Flexible Framework to Support Collaborative Software Evolution Analysis
To understand the evolution of software researchers have developed a plethora of tools to parse, model, and analyze the history of systems. Despite their usefulness, a common down...
Marco D'Ambros, Michele Lanza
ITP
2010
178views Mathematics» more  ITP 2010»
13 years 9 months ago
Interactive Termination Proofs Using Termination Cores
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
Panagiotis Manolios, Daron Vroon