Sciweavers

2026 search results - page 236 / 406
» Tools for Test Case Generation
Sort
View
TSE
1998
130views more  TSE 1998»
15 years 5 months ago
Automatic Support for Usability Evaluation
—The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorpor...
Andreas Lecerof, Fabio Paternò
DATE
2004
IEEE
128views Hardware» more  DATE 2004»
15 years 9 months ago
Synthesis for Manufacturability: A Sanity Check
As we move towards nanometer technology, manufacturing problems become overwhelmingly difficult to solve. Presently, optimization for manufacturability is performed at a post-synt...
Alessandra Nardi, Alberto L. Sangiovanni-Vincentel...
VISUALIZATION
1995
IEEE
15 years 9 months ago
Qualitative Analysis of Invariant Tori in a Dynamical System
Invariant tori are examples of invariant manifolds in dynamical systems. Usual tools in dynamical systems such as analysis and numerical simulations alone are often not sufficient...
Daryl H. Hepting, Gianne Derks, Kossi D. Edoh, Rob...
ICISC
2001
132views Cryptology» more  ICISC 2001»
15 years 6 months ago
Slide Attacks with a Known-Plaintext Cryptanalysis
Although many strong cryptanalytic tools exploit weaknesses in the data-randomizinig part of a block cipher, relatively few general tools for cryptanalyzing on the other part, the ...
Soichi Furuya
CMOT
2011
14 years 9 months ago
A generic architecture for redesign of organizations triggered by changing environmental circumstances
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur