Sciweavers

1698 search results - page 137 / 340
» Model Driven Development of Complex User Interface
Sort
View
BMCBI
2010
233views more  BMCBI 2010»
15 years 1 months ago
Odefy -- From discrete to continuous models
Background: Phenomenological information about regulatory interactions is frequently available and can be readily converted to Boolean models. Fully quantitative models, on the ot...
Jan Krumsiek, Sebastian Pölsterl, Dominik M. ...
CANDC
2009
ACM
15 years 8 months ago
2DEQ: an intuitive audio equalizer
The complexity of music production tools can be a significant bottleneck in the creative process. Here we describe the development of a simple, intuitive audio equalizer with the ...
Andrew T. Sabin, Bryan Pardo
CHI
2008
ACM
16 years 1 months ago
Peephole pointing: modeling acquisition of dynamically revealed targets
Peephole interaction occurs when a spatially aware display is moved and acts as a viewport to reveal different parts of the virtual space that cannot all fit within the display at...
Xiang Cao, Jacky Jie Li, Ravin Balakrishnan
104
Voted
ICWE
2010
Springer
15 years 1 days ago
Modeling Search Computing Applications
Search Computing defines a new class of applications, which enable end users to perform exploratory search processes over multi-domain data sources available on the Web. These appl...
Alessandro Bozzon, Marco Brambilla, Alessandro Cam...
144
Voted
FM
2009
Springer
189views Formal Methods» more  FM 2009»
14 years 11 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...