Sciweavers

5775 search results - page 139 / 1155
» A Rationale-based Analysis Tool
Sort
View
ICWE
2007
Springer
16 years 17 days ago
Tool Support for Model Checking of Web Application Designs
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
Marco Brambilla, Jordi Cabot, Nathalie Moreno
IV
2005
IEEE
170views Visualization» more  IV 2005»
16 years 5 hour ago
POLYMECO - A Polygonal Mesh Comparison Tool
Polygonal meshes are used in many areas to model different objects and structures. Depending on their applications, they sometimes have to be processed to, for instance, reduce th...
Samuel S. Silva, Joaquim Madeira, Beatriz Sousa Sa...
UIALL
2004
Springer
15 years 11 months ago
Using Automatic Tools in Accessibility and Usability Assurance Processes
Abstract. The paper claims that processes for monitoring, assessing and ensuring appropriate levels of accessibility and usability have to be adopted by web development and mainten...
Giorgio Brajnik
SCALESPACE
2001
Springer
15 years 11 months ago
Morphological Tools for Robust Key-Region Extraction and Video Shot Modeling
Abstract. In recent years, the use of multimedia content has experienced an exponential growth. In this context, the need of new image/video sequence representation is becoming a n...
Javier Ruiz Hidalgo, Philippe Salembier
SEKE
2001
Springer
15 years 11 months ago
Gadget: A Tool for Extracting the Dynamic Structure of Java Programs
Source code analysis and inspection does not provide enough information to describe the structure of an objectoriented program completely because there are components and relation...
Juan Gargiulo, Spiros Mancoridis