Sciweavers

4109 search results - page 237 / 822
» User Interface Software Tools
Sort
View
SIGSOFT
2003
ACM
16 years 3 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
WSCG
2004
173views more  WSCG 2004»
15 years 3 months ago
Production Interface for WEB-deliverable Realistic Interactive 3D Facial Animation
We present a new interface for producing high quality web deliverable interactive 3D facial animation. We aim at providing visual artists with established 3D character animation t...
Nicoletta Adamo-Villani, Amit Chourasia, Clark A. ...
EICS
2009
ACM
15 years 9 months ago
TnToolkit: a design and analysis tool for ambiguous, QWERTY, and on-screen keypads
The pervasive use of ambiguous keypads for mobile text entry necessitates examination of their performance characteristics. This paper presents TnToolkit – a self-contained tool...
Steven J. Castellucci, I. Scott MacKenzie
ASSETS
2004
ACM
15 years 7 months ago
Nonvisual tool for navigating hierarchical structures
The hierarchical structure of a program can be quite complex. As such, many Integrated Development Environments (IDEs) provide graphical representations of program structure at di...
Ann C. Smith, Justin S. Cook, Joan M. Francioni, A...
VISUALIZATION
2002
IEEE
15 years 7 months ago
GeneVis: Visualization Tools for Genetic Regulatory Network Dynamics
GeneVis provides a visual environment for exploring the dynamics of genetic regulatory networks. At present time, genetic regulation is the focus of intensive research worldwide, ...
Charles A. H. Baker, M. Sheelagh T. Carpendale, Pr...