Sciweavers

2700 search results - page 347 / 540
» The role of abstraction in software engineering
Sort
View
FASE
2006
Springer
15 years 10 months ago
A Graph-Based Approach to Transform XML Documents
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...
Gabriele Taentzer, Giovanni Toffetti Carughi
AVI
2010
15 years 8 months ago
Implied dynamics in information visualization
Information visualization is a powerful method for understanding and working with data. However, we still have an incomplete understanding of how people use visualization to think...
Caroline Ziemkiewicz, Robert Kosara
IIWAS
2008
15 years 8 months ago
Using conditional transformations for semantic user interface adaptation
The rapid growth of mobile Internet use requires highly flexible and adaptable user interfaces for web applications. Contextual data from various sources as for example device HMI...
Pascal Bihler, Merlin Fotsing, Günter Kniesel...
ICFEM
2010
Springer
15 years 5 months ago
Verifying Heap-Manipulating Programs with Unknown Procedure Calls
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
Shengchao Qin, Chenguang Luo, Guanhua He, Florin C...
ISSRE
2010
IEEE
15 years 5 months ago
Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis
—Models abstract reality. Although abstract, such models can capture the essence of real world phenomena as long as they are sufficiently accurate. The development of new techni...
Cristiano Bertolini, Alexandre Mota, Eduardo Aranh...